On Mon, Jul 25, 2011 at 8:52 AM, Guillaume Lelarge
<guillaume@lelarge.info> wrote:
> 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 :)
Something like the attached? (lightly tested!)
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
