Re: document branch

[Ben Pfaff]

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.