doc/Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13

# Makefile for doc/

coq.dvi: coq.tex
	latex coq && latex coq

clean::
	rm -f *~ *.log *.aux

.SUFFIXES: .tex .dvi .ps

.dvi.ps:
	dvips $< -o