Re: Nightly build failure for user manual since 12th of October

[John Darrington]

This step of Ben's buildbot uses the gendocs.sh script to  build
the manual.

Since f1141d27ca616a8c8edc2a1f18067085ceaaf448 there are some new
source files.  So the buildbot script will need to add some options
to gendocs.sh similar to:

 -I $(top_builddir)/doc/examples -I $(top_srcdir)/doc/examples


J'

On Wed, Oct 14, 2020 at 07:23:21AM +0200, Friedrich Beckmann wrote:
     The nightly build fails since:
     
     https://pspp.benpfaff.org/~blp/pspp-master/20201012050501/source/
     
     due to build failure of the manual.