summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/drv/sample/readme.txt
blob: b0c3c91b5e5cfc63e1c20b31573164421f2cc9c8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
# In order to compile the sources and to get a pdf file, use `make' or:

# 1. run metapost TWICE:
mpost coq-sample.mp
mpost coq-sample.mp

# 2. run latex (once):
latex coq-sample.tex

# 3. run dvips (once):
dvips coq-sample.dvi -o

# 4. run ps2pdf (once):
ps2pdf coq-sample.ps