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