Save Installation.pdf compilation log file.

2006-05-20 21:42:49 +00:00
parent fa4cccbdaa
commit b65115eb5f
1 changed files with 1 additions and 0 deletions
@@ -145,6 +145,7 @@ sed -e "s/.*cgalversion{.*/\\\gdef\\\cgalversion\{${public_release_name}\}/" ver
 export TEXINPUTS
 TEXINPUTS=$TEXINPUTS:../../${SOURCES_DIR}/Manual_tools/sty:
 ../developer_scripts/cgal_manual -pdf Installation >> ${LOGFILE} 2>&1
+cat Installation.pdflg >> ${LOGFILE} 2>&1
 cd ..
 # End of build of Installation.pdf
 rm -rf test Packages developer_scripts doc_tex winutils >> ${LOGFILE} 2>&1