On Mon, Jul 25, 2011 at 8:59 PM, Guillaume Lelarge <[email protected]> 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 -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
