1# =====================================================================
2# Makefile for the res_quan library documentation
3# =====================================================================
4
5# ---------------------------------------------------------------------
6# Pathname to the help files
7# ---------------------------------------------------------------------
8Help=../help
9LATEX=latex
10# ---------------------------------------------------------------------
11# Pathname to the doc-to-tex script and doc-to-tex.sed file
12# ---------------------------------------------------------------------
13DOCTOTEX=../../../Manual/Reference/bin/doc-to-tex
14DOCTOTEXSED=../../../Manual/Reference/bin/doc-to-tex.sed
15DOCTOTEXEXE=../../../help/src-sml/Doc2Tex.exe
16
17# ---------------------------------------------------------------------
18# Pathname to the makeindex script
19# ---------------------------------------------------------------------
20MAKEINDEX=makeindex
21
22default: all
23
24# ---------------------------------------------------------------------
25# Remove all trace of previous LaTeX jobs
26# ---------------------------------------------------------------------
27clean:
28	rm -f *.dvi *.aux *.toc *.log *.idx *.ilg *.ind \
29          entries.tex theorems.tex res_quan.ps res_quan.pdf
30
31tex: theorems functions
32	@echo "TeX files made"
33
34functions:
35	@echo "% This is a generated file - do not edit" > entries.tex
36	@echo "\\\\chapter{ML Functions in the {\\\\tt res\_quan} Library}">>entries.tex
37	@echo "\\\\label{entries}">>entries.tex
38	@echo "\\\\input{entries-intro}" >> entries.tex
39	${DOCTOTEXEXE} ${Help}/entries entries.tex
40
41theorems:
42	echo "% This is a generated file - do not edit" > theorems.tex
43	echo "\\\\chapter{Pre-proved Theorems}" >> theorems.tex
44	echo "\\\\input{theorems-intro}" >> theorems.tex
45	echo "\\\\vskip 2mm" >> theorems.tex
46	/bin/sh ${DOCTOTEX} ${DOCTOTEXSED} ${Help}/thms theorems.tex
47
48index:
49	${MAKEINDEX} res_quan.idx
50
51res_quan:
52	$(LATEX) res_quan.tex
53	$(LATEX) summary.tex
54
55ps:
56	dvips res_quan.dvi -o
57
58pdf:	res_quan.ps
59	pdflatex res_quan.tex
60
61all:
62	make clean; make tex; make res_quan; make index; make res_quan ps pdf
63
64