1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#===========================================#
# Make the manual for the "numeral" library #
#===========================================#
Help=../help
DOCTOTEX=../../../Manual/Reference/bin/doc-to-tex
DOCTOTEXSED=../../../Manual/Reference/bin/doc-to-tex.sed
# ---------------------------------------------------------------------
# Pathname to the makeindex script
# ---------------------------------------------------------------------
MAKEINDEX=../../../Manual/LaTeX/makeindex ../../../
all:; make clean; make thms; make ids; make numeral; make index; make numeral
clean:; \
rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \
printf '\\begin{theindex}' >index.tex; \
printf '\\mbox{}' >>index.tex; \
printf '\\end{theindex}' >>index.tex
ids:; \
printf '\\chapter{ML Functions in the numeral Library}' >entries.tex; \
printf '\\input{entries-intro}' >>entries.tex; \
/bin/sh ${DOCTOTEX} ${DOCTOTEXSED} ${Help}/entries entries.tex
thms:; \
printf '\\chapter{Pre-proved Theorems}' > theorems.tex; \
printf '\\input{theorems-intro}' >> theorems.tex; \
printf '\\section{Numeral theory}' >> theorems.tex; \
/bin/sh ${DOCTOTEX} ${DOCTOTEXSED} ${Help}/thms/numeral theorems.tex
index:; \
${MAKEINDEX} numeral.idx index.tex
numeral:; \
latex numeral.tex
|
