1#===========================================#
2# Make the manual for the "pair" library	#
3#===========================================#
4
5# ---------------------------------------------------------------------
6# Pathname to the string help files
7# ---------------------------------------------------------------------
8Help=../help
9
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/Doc2Tex.exe
16
17# ---------------------------------------------------------------------
18# Pathname to the makeindex program
19# ---------------------------------------------------------------------
20MAKEINDEX=makeindex
21
22default:
23	@echo "INSTRUCTIONS: Type \"make all\" to make the documentation"
24
25# ---------------------------------------------------------------------
26# Remove all trace of previous LaTeX jobs
27# ---------------------------------------------------------------------
28clean:
29	rm -f *.dvi *.aux *.toc *.log *.idx *.ilg *.ind \
30              entries.tex theorems.tex *.ind pair.ps pair.pdf
31
32tex: ids theorems
33	@echo "TeX files made"
34
35ids:
36	echo "\chapter{ML Functions in the pair Library}" >entries.tex;   	\
37	echo "\input{entries-intro}" >>entries.tex;                         \
38	${DOCTOTEXEXE} ${Help}/entries entries.tex
39
40theorems:
41	@echo "\chapter{Pre-proved Theorems}" > theorems.tex
42	@echo "\input{theorems-intro}" >> theorems.tex
43	@echo "\section{Theorems}">>theorems.tex
44	/bin/sh ${DOCTOTEX} ${DOCTOTEXSED} ${Help}/thms theorems.tex
45
46index:
47	${MAKEINDEX} pair.idx
48
49pair:
50	latex pair.tex
51
52ps:
53	dvips pair.dvi -o
54
55pdf:	pair.ps
56	pdflatex pair.tex
57
58all:
59	make clean;	\
60	make tex;	\
61	make pair;	\
62	make index;	\
63	make pair ps pdf
64