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