doc/Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# Makefile for doc/

all: minicoq.dvi

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

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

.SUFFIXES: .tex .dvi .ps

.tex.dvi:
	latex $< && latex $<

.dvi.ps:
	dvips $< -o