On Wed, Nov 16, 2016 at 10:05 AM, Devrim Gündüz <dev...@gunduz.org> wrote: > > Hi, > > On Wed, 2016-11-16 at 09:22 +0000, Dave Page wrote: >> We can't not ship the docs. Or are you suggesting we pull the RPM from >> another build and use that? It is just HTML files and images after >> all. > > Hmm, that should work in theory, but RPM headers will be different in distros, > so it may not work. What we can do is creating a tarball of .html files > somewhere else, make them available in pgadmin.org, and then create -docs RPM > using that tarball. Easy, one click. What do you think?
That's probably pretty easy. Let me take a look... -- 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 (pgadmin-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
