diff options
Diffstat (limited to 'Makefile')
| -rwxr-xr-x | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -1,4 +1,4 @@ -all: paper.pdf +all: paper.pdf praes.pdf paper.pdf: paper.tex latex paper.tex @@ -6,5 +6,10 @@ paper.pdf: paper.tex dvips -o paper.ps paper.dvi ps2pdf paper.ps paper.pdf +praes.pdf: praes.tex + pdflatex praes.tex + pdflatex praes.tex + pdflatex praes.tex + clean: rm -f *.dvi *.aux *.log *.ps *.pdf |