1# =====================================================================
2# Makefile for the string library documentation
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 script
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 string.ps string.pdf
31
32tex: ids theorems
33	@echo "TeX files made"
34
35ids:
36	@echo "\chapter{ML Functions in the string 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} string.idx
48
49string:
50	latex string.tex
51
52ps:
53	dvips string.dvi -o
54
55pdf:	string.ps
56	pdflatex string.tex
57
58all:
59	make clean; make tex; make string; make index; make string ps pdf
60