I'm trying to add a GAMG section to the manual and am having problems building it:
13:15 2 madams/manual-gamg ~/Codes/petsc/src/docs/tex/manual$ make manual.pdf LOC=/var/tmp Traceback (most recent call last): File "../../../../bin/maint/mapnameslatex.py", line 204, in <module> raise RuntimeError('Unable to open htmlmap-file: '+htmlmapfile+'\n') RuntimeError: Unable to open htmlmap-file: /var/tmp/docs/manualpages/htmlmap make: [manual.pdf] Error 1 (ignored) Traceback (most recent call last): File "../../../../bin/maint/mapnameslatex.py", line 204, in <module> raise RuntimeError('Unable to open htmlmap-file: '+htmlmapfile+'\n') RuntimeError: Unable to open htmlmap-file: /var/tmp/docs/manualpages/htmlmap make: [manual.pdf] Error 1 (ignored) /opt/local/bin/pdflatex -halt-on-error manual1 > /dev/null 2>&1 bibtex manual1 > /dev/null 2>&1 make: [manual.pdf] Error 2 (ignored) /opt/local/bin/pdflatex -halt-on-error manual1 > /dev/null 2>&1 /opt/local/bin/pdflatex -halt-on-error manual1 > /dev/null 2>&1 makeindex manual1 > /dev/null 2>&1 /bin/mv part2tmp.tex tmp grep -v "end{theindex}" tmp > part2tmp.tex make: *** [manual.pdf] Error 1 Clearly I'm not using LOC correctly ?.