diff options
| -rw-r--r-- | esempi/Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/esempi/Makefile b/esempi/Makefile new file mode 100644 index 0000000..fdbc46d --- /dev/null +++ b/esempi/Makefile @@ -0,0 +1,15 @@ + +all: pdf + +pdf: + for FILE in ??.tex ; do \ + pdflatex $$FILE ; \ + pdflatex $$FILE ; \ + pdflatex $$FILE ; \ + done + +clean: + rm *.aux *.log *.out *.toc || true + +cleanall: clean + rm *.pdf |