On Tue, 2011-07-19 at 21:44 +0100, Dave Page wrote:
> On Tue, Jul 19, 2011 at 8:06 PM, Guillaume Lelarge
> <guillaume@lelarge.info> wrote:
> >> There's no Makefile there. Did you forget to check it in?
> >>
> >>
> >
> > Oops, forgot this one. The fact that Makefile is in the .gitignore file
> > didn't help.
>
> So I'm thinking we should probably check that in as "Makefile.sphinx",
> and then add a "docs" target to the top level Makefile that does
> something like:
>
> cd docs/en_US && make -f Makefile.sphinx htmlhelp SPHINXBUILD="${sphinx}"
>
> where ${sphinx} is set to the path & filename of the sphinx
> executable, from a configure option.
>
To get back on this, Makefile is now Makefile.sphinx. Unfortunately, i
have no idea how to do the docs target. I would really like to have some
guidance here, or, much better, a patch that deals with it :)
--
Guillaume
http://blog.guillaume.lelarge.info
http://www.dalibo.com