diff options
| -rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..1884dee --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ + +DOCNAME=LaTeX_per_esempi + +all: pdf + +pdf: + pdflatex ${DOCNAME}.tex + pdflatex ${DOCNAME}.tex + pdflatex ${DOCNAME}.tex + +clean: + rm ${DOCNAME}.aux ${DOCNAME}.log ${DOCNAME}.toc + +cleanall: clean + rm ${DOCNAME}.pdf |