Re: document branch

[Ben Pfaff]

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.