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 <j...@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. >
