On Wed, Nov 16, 2016 at 10:26 AM, Dave Page <dp...@pgadmin.org> wrote: > 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...
https://www.postgresql.org/ftp/pgadmin3/pgadmin4/v1.1/docs/ :-) I really need to fix the ftp sites handling of symlinks... -- 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
