diff options
author | Elena ``of Valhalla'' Grandi <elena.valhalla@gmail.com> | 2011-03-14 08:51:56 +0100 |
---|---|---|
committer | Elena ``of Valhalla'' Grandi <elena.valhalla@gmail.com> | 2011-03-14 08:51:56 +0100 |
commit | e001caebb7cb8d12a041d199764804256ccb134f (patch) | |
tree | b77d560d27cf9086977ae70ed9d49fe98dc71765 /esempi/Makefile |
Initial Makefile for pdf generation
Diffstat (limited to 'esempi/Makefile')
-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 |