1# =====================================================================
2# Makefile for the hol LOGIC
3# =====================================================================
4
5PDFLATEX=pdflatex
6DVILATEX=latex
7BIBTEX=bibtex
8
9CHAPTERS = syntax.tex preface.tex semantics.tex title.tex
10OTHER = ../LaTeX/commands.tex ../LaTeX/layout.sty ../LaTeX/ack.tex
11
12default: pdf
13all: ps pdf
14ps: logic.ps
15pdf: logic.pdf
16
17clean:
18	rm -f *.dvi *.aux *.toc *.log *.bbl *.blg logic.pdf logic.ps
19
20logic.pdf: logic.tex $(CHAPTERS) $(OTHER)
21	${PDFLATEX} logic
22	${BIBTEX}   logic
23	${PDFLATEX} logic
24	${PDFLATEX} logic
25
26logic.dvi: logic.tex $(CHAPTERS) $(OTHER)
27	${DVILATEX} logic
28	${BIBTEX}   logic
29	${DVILATEX} logic
30	${DVILATEX} logic
31
32logic.ps: logic.dvi
33	dvips -Ppdf -G0 -f logic.dvi > logic.ps.tmp
34	mv logic.ps.tmp $@
35