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?
Regards,
--
Devrim GÜNDÜZ
EnterpriseDB: http://www.enterprisedb.com
PostgreSQL Danışmanı/Consultant, Red Hat Certified Engineer
Twitter: @DevrimGunduz , @DevrimGunduzTR