[petsc-dev] Manual builds fail on master

[Satish Balay]

On Thu, 22 Mar 2018, Satish Balay wrote:

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

pushed to maint and merged to master now.

Satish