[petsc-dev] Manual builds fail on master

[Satish Balay]

On Thu, 22 Mar 2018, Smith, Barry F. wrote:

> 
>   Satish,
> 
>    Where did you find this error message on the web? I couldn't find any building of the manual from the Dashboard.
> 

per src/docs/tex/manual/makefile

#  Run make manual.pdf LOC=$PETSC_DIR GONULL="" to display all the error messages from running pdflatex on the manual                                     
So I ran this manually..

I can push the following change to get the details in nightly dashboard logs..

>>>>>>>>
diff --git a/lib/petsc/bin/maint/builddist b/lib/petsc/bin/maint/builddist
index 796c9f7..eea41a9 100755
--- a/lib/petsc/bin/maint/builddist
+++ b/lib/petsc/bin/maint/builddist
@@ -110,7 +110,7 @@ cd $PETSC_DIR
 # we should have an option of running configure - without compilers/mpi/blas etc..
 ./config/configure.py --with-mpi=0 --with-matlab=1 --download-c2html=1 --download-sowing=1
 make allfortranstubs
-make alldoc LOC=${PETSC_DIR} DOCSETDATE_PRUNE_LIST=""
+make alldoc LOC=${PETSC_DIR} DOCSETDATE_PRUNE_LIST="" GONULL=""
 #
 make ACTION=clean tree_basic
<<<<<<< 

Satish