summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/drv/sample/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/metapost/drv/sample/makefile')
-rw-r--r--Master/texmf-dist/doc/metapost/drv/sample/makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/metapost/drv/sample/makefile b/Master/texmf-dist/doc/metapost/drv/sample/makefile
index ab57ffe9ace..18f01e9eecb 100644
--- a/Master/texmf-dist/doc/metapost/drv/sample/makefile
+++ b/Master/texmf-dist/doc/metapost/drv/sample/makefile
@@ -2,9 +2,12 @@ MAIN= coq-sample
$(MAIN).pdf: $(MAIN).ps
ps2pdf $(MAIN).ps
+ pdfopt $(MAIN).pdf $(MAIN)-opt.pdf
+ mv $(MAIN)-opt.pdf $(MAIN).pdf
$(MAIN).ps: $(MAIN).tex $(MAIN)-delayed.mp
latex $(MAIN)
+ latex $(MAIN)
dvips -t unknown $(MAIN) -o
$(MAIN)-proof.pdf: $(MAIN)-proof.ps