On Mon, Jul 25, 2011 at 8:59 PM, Guillaume Lelarge
<guillaume@lelarge.info> wrote:
> You mean something like this?
>
> diff --git a/Makefile.am b/Makefile.am
> index 677ec5c..d1d19f3 100644
> --- a/Makefile.am
> +++ b/Makefile.am
> @@ -34,7 +34,8 @@ EXTRA_DIST = \
>
> TMP_docs = \
> $(top_srcdir)/docs/en_US/*.css \
> - $(top_srcdir)/docs/en_US/*.html \
> + $(top_srcdir)/docs/en_US/*.rst \
> + $(top_srcdir)/docs/en_US/conf.py \
> $(top_srcdir)/docs/en_US/pgadmin3.hh* \
> $(top_srcdir)/docs/en_US/hints/*.html \
> $(top_srcdir)/docs/en_US/images/*.png \
Yes.
>> Don't forget to update the build instructions.
>>
>
> In the INSTALL file, right? or is there another file I should care
> about?
Yep, the INSTALL file.
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company