
    You should set the variable

setenv DOCTEXT_PATH /home/bsmith/petsc/docs/tex/doctext

contains the "formating" files used by doctext to format
the HTML manual pages.

