On Mon, 2011-07-25 at 21:01 +0100, Dave Page wrote:
> 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.
>
Done, and pushed. Thank you.
--
Guillaume
http://blog.guillaume.lelarge.info
http://www.dalibo.com