diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/drv/sample/makefile')
-rw-r--r-- | Master/texmf-dist/doc/metapost/drv/sample/makefile | 3 |
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 |