--- Makefile.org.pamphlet 2006-08-05 12:37:17.794397200 +0200 +++ Makefile.pamphlet 2006-08-05 13:19:04.263356000 +0200 @@ -151,6 +151,28 @@ @echo 8 making ${INT}/booklet.c from ${IN}/booklet.c.pamphlet @(cd ${INT} ; \ ${TANGLE} ${IN}/booklet.c.pamphlet >booklet.c ) + +@ +\section{ComputerTutorial} +ComputerTutorial introduces some aspects of axiom programming. It +mainly talks about how to build your own domains and types and +explains some concepts by comparison with C/C++. + +<>= +${DVI}/ComputerTutorial.dvi: ${IN}/ComputerTutorial.pamphlet + @echo 4 building ${DVI}/ComputerTutorial.dvi from \ + ${IN}/ComputerTutorial.pamphlet + @(cd ${MID} ; \ + cp ${IN}/ComputerTutorial.pamphlet ${MID} ; \ + if [ -n "${NOISE}" ] ; then \ + latex ComputerTutorial.pamphlet --interaction nonstopmode >${TMP}/trace ; \ + latex ComputerTutorial.pamphlet --interaction nonstopmode >${TMP}/trace ; \ + else \ + latex ComputerTutorial.pamphlet --interaction nonstopmode ; \ + latex ComputerTutorial.pamphlet --interaction nonstopmode ; \ + fi ; \ + cp ComputerTutorial.dvi ${DVI} ) + @ \section{The Makefile} @@ -165,7 +187,7 @@ FILES= ${MID}/axiom.bib ${STY}/axiom.sty ${DVI}/DeveloperNotes.dvi \ ${DVI}/book.dvi ${DVI}/bookvol1.dvi ${DVI}/endpaper.dvi \ - ${DVI}/Rosetta.dvi + ${DVI}/Rosetta.dvi ${DVI}/ComputerTutorial.dvi CMDS=${OUT}/booklet @@ -180,6 +202,7 @@ <> <> <> +<> document: @echo 10 documenting ${SRC}/doc