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

[Ben Pfaff]

Hmm. It's worse than that, since now it's impossible to build a source
distribution from Git without first building the PSPP binary. And I
think that cross-compiling from Git is impossible now? Since you can't
build the manual unless you first build and run the binary. I think I
need to discard the idea of having separate "source" and "binary"
nightly builds, since building source requires building the binary.

On Tue, Oct 13, 2020 at 11:16 PM John Darrington
<john@darrington.wattle.id.au> wrote:
>
> 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.
>