[petsc-dev] manual pages

[Mark F. Adams]

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 ….