diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/drv/sample/readme.sh')
-rw-r--r-- | Master/texmf-dist/doc/metapost/drv/sample/readme.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/metapost/drv/sample/readme.sh b/Master/texmf-dist/doc/metapost/drv/sample/readme.sh new file mode 100644 index 00000000000..65e275906e9 --- /dev/null +++ b/Master/texmf-dist/doc/metapost/drv/sample/readme.sh @@ -0,0 +1,16 @@ +# In order to compile the sources and to get a pdf file, +# use `make' or `./readme.sh' or: + +# 1. run metapost TWICE: +mpost coq-sample.mp +mpost coq-sample.mp + +# 2. run latex (twice): +latex coq-sample.tex +latex coq-sample.tex + +# 3. run dvips (once): +dvips coq-sample.dvi -o + +# 4. run ps2pdf (once): +ps2pdf coq-sample.ps |