On Thu, Jan 10, 2013 at 10:40:53AM -0800, Ben Pfaff wrote: > On Thu, Jan 10, 2013 at 08:28:41AM -0800, Ben Pfaff wrote: > > On Thu, Jan 10, 2013 at 01:49:09PM +0100, John Darrington wrote: > > > On Wed, Jan 09, 2013 at 09:40:26PM -0800, Ben Pfaff wrote: > > > On Wed, Jan 09, 2013 at 05:46:34PM +0100, John Darrington wrote: > > > > If in your buildbot script, where you call gendocs.sh you add the > > > arguments > > > > -I <path-to-source>/doc > > > > then I think it should work. > > > > > > I've added that in my local copy. Let's see how it does tonight. > > > If it > > > works, I'll commit it. > > > > > > > Also, if you get the most recent copy of gendocs.sh it will > > > produce an error, when > > > > it sees a reference to a file which it can't find in its search > > > path. > > > > > > I'll update gendocs.sh after we get this working. > > > > > > It looks as if you'll have to do it *before* it'l work .... > > > > OK, I updated it locally as a test and manually restarted the nightly > > build. > > It looks like the images made it into the HTML version. Does it look > good to you?
Some comments from #pspp: jmd: This link is broken: http://pspp.benpfaff.org/~blp/pspp-documentation/20130110090102/user-manual/pspp.ps.gz blp: jmd: That's probably a gendocs bug. I don't do anything special about postscript or gzipping. I'll find out. jmd: Also, this link http://pspp.benpfaff.org/~blp/pspp-documentation/20130110090102/user-manual/pspp.dvi.gz doesn't include the images. jmd: That is also probably a gendocs bug. blp: I think that DVI files always include images by external reference, so that probably means that there'd need to be a .tar.gz for the DVI format rather than a single file to do this correctly. jmd: Yes. _______________________________________________ pspp-dev mailing list pspp-dev@gnu.org https://lists.gnu.org/mailman/listinfo/pspp-dev