On Mon, 2011-07-25 at 21:01 +0100, Dave Page wrote: > 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. >
Done, and pushed. Thank you. -- Guillaume http://blog.guillaume.lelarge.info http://www.dalibo.com -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
