blob: 65e275906e97712346ba4abfaf95a5b26aff26e2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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
|