diff options
| -rw-r--r-- | doc/tutorials/externals-howto/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/tutorials/externals-howto/Makefile b/doc/tutorials/externals-howto/Makefile index f9840099..6df93cf7 100644 --- a/doc/tutorials/externals-howto/Makefile +++ b/doc/tutorials/externals-howto/Makefile @@ -8,7 +8,7 @@ HTMLDIR_DE=HOWTO-de LATEX=latex DVIPS=dvips -DVIPDF=dvipdf +PDFLATEX=pdflatex LATEX2HTML=latex2html default: en_pdf @@ -43,7 +43,7 @@ pdf: en_pdf de_pdf html: en_html de_html clean: - -rm -f *.aux *.log *.toc *.dvi *~ + -rm -f *.aux *.log *.toc *.out *.dvi *~ cleaner: clean -rm -f *.ps *.pdf @@ -61,8 +61,9 @@ distclean: cleaner $(DVIPS) $*.dvi -%.pdf: %.dvi - $(DVIPDF) $*.dvi +%.pdf: + $(PDFLATEX) $*.tex + $(PDFLATEX) $*.tex examples: $(HOWTO_EXAMPLES) echo made examples |