diff options
| author | Elena ``of Valhalla'' Grandi <elena.valhalla@gmail.com> | 2011-03-15 19:22:58 +0100 |
|---|---|---|
| committer | Elena ``of Valhalla'' Grandi <elena.valhalla@gmail.com> | 2011-03-15 19:22:58 +0100 |
| commit | fd0f3bd21f2cd01f7289376326d11d05f62da5da (patch) | |
| tree | 8730d59be28736337ba671b37b9f893c3d2df6fa | |
| parent | f7374a8caba742dbf3f8973e5b0f5bff918da3b4 (diff) | |
esempi/Makefile: non cancellare cose che non vengono generate.
| -rw-r--r-- | esempi/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/esempi/Makefile b/esempi/Makefile index fdbc46d..6eebf07 100644 --- a/esempi/Makefile +++ b/esempi/Makefile @@ -9,7 +9,7 @@ pdf: done clean: - rm *.aux *.log *.out *.toc || true + rm *.aux *.log *.toc cleanall: clean rm *.pdf |