[petsc-dev] Building local man pages

Stefano Zampini stefano.zampini at gmail.com
Tue Sep 19 14:55:33 CDT 2017

Maybe this has been answered before, but here it is. When trying to build
HTML pages with

$ make alldoc LOC=$PETSC_DIR

With the latest master, I get this strange warning

Could not open output file
Reason: No such file or directory

and then I get a latex error when compiling the manual

cd src/docs/tex/manual; /usr/bin/gmake  --no-print-directory manual.pdf
/usr/bin/pdflatex -halt-on-error manual1  > /dev/null 2>&1
makefile:30: recipe for target 'manual.pdf' failed
gmake[1]: *** [manual.pdf] Error 1
makefile:340: recipe for target 'alldoc1' failed
make: [alldoc1] Error 2 (ignored)
cd src/docs/tex/manual; /usr/bin/gmake  --no-print-directory developers.pdf
/usr/bin/pdflatex developerstmp.tex
This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded
 restricted \write18 enabled.
entering extended mode
LaTeX2e <2016/03/31>
Babel <3.9r> and hyphenation patterns for 3 language(s) loaded.

! LaTeX Error: Missing \begin{document}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.

l.1 B
     ad line in /home/szampini/src/petsc/docs/manualpages/htmlmap

Should I run reconfigure?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20170919/07c92084/attachment.html>

More information about the petsc-dev mailing list