Pushed fixes now (to master). Can you retry? Satish On Tue, 19 Sep 2017, Stefano Zampini wrote:

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 /home/szampini/src/petsc/docs/manualpages/DM/MLoad_Moab*/.html 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 LOC=/home/szampini/src/petsc /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 LOC=/home/szampini/src/petsc /usr/bin/pdflatex developerstmp.tex This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./developerstmp.tex 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 man:+Compu...

Should I run reconfigure?