On Wed, Nov 16, 2016 at 10:26 AM, Dave Page <dpage@pgadmin.org> wrote:
> On Wed, Nov 16, 2016 at 10:05 AM, Devrim Gündüz <devrim@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