diff options
Diffstat (limited to 'doc/tutorials/externals-howto/Makefile')
| -rw-r--r-- | doc/tutorials/externals-howto/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/tutorials/externals-howto/Makefile b/doc/tutorials/externals-howto/Makefile index e1ce8d3a..8d42f47f 100644 --- a/doc/tutorials/externals-howto/Makefile +++ b/doc/tutorials/externals-howto/Makefile @@ -1,4 +1,4 @@ -HOWTO=HOWTO-externals-en +HOWTO=pd-externals-HOWTO HOWTO_EXAMPLES=example1 example2 example3 example4 @@ -27,7 +27,7 @@ pdf: $(HOWTO).pdf html: $(HOWTO).tex $(HOWTO).pdf mkdir -p $(HTMLDIR) $(HTLATEX) $< "$(HTLATEX_OPTIONS2)" "$(HTLATEX_OPTIONS3)" "-d$(HTMLDIR)/" - cp $(HOWTO).pdf "$(HTMLDIR)/pd-externals-HOWTO.pdf" + cp $(HOWTO).pdf "$(HTMLDIR)/" clean: -rm -f *.aux *.log *.toc *.out *.dvi |