1#==========================================#
2# Make the manual for the "reduce" library #
3#==========================================#
4
5Help=../help
6DOCTOTEXEXE=../../../../help/src/Doc2Tex.exe
7
8# ---------------------------------------------------------------------
9# Pathname to the makeindex script
10# ---------------------------------------------------------------------
11MAKEINDEX=makeindex
12
13all:; make clean; make ids; make reduce; make index; make reduce ps pdf
14
15clean:
16	rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex
17
18ids:
19	echo "\chapter{ML Functions in the reduce Library}" >entries.tex
20	echo "\input{entries-intro}" >>entries.tex
21	${DOCTOTEXEXE} ${Help}/entries entries.tex
22
23index:
24	${MAKEINDEX} reduce.idx
25
26reduce:
27	latex reduce.tex
28
29ps:
30	dvips reduce.dvi -o
31
32pdf:
33	pdflatex reduce.tex
34