Re: document branch

[Ben Pfaff]

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.