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