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