From: | Dave Page <dpage(at)pgadmin(dot)org> |
---|---|
To: | Devrim Gündüz <devrim(at)gunduz(dot)org> |
Cc: | Magnus Hagander <magnus(at)hagander(dot)net>, pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org> |
Subject: | Re: theme to use while building docs |
Date: | 2016-11-16 10:27:25 |
Message-ID: | CA+OCxozmZQdtirjd+2J7agNg4wB1Z9i3gYFQvxT3FStrSpz8wQ@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-hackers |
On Wed, Nov 16, 2016 at 10:19 AM, Devrim Gündüz <devrim(at)gunduz(dot)org> wrote:
>
> Hi,
>
> On Wed, 2016-11-16 at 13:10 +0300, Devrim Gündüz wrote:
>> I can do it in the community repo, but not sure if EPEL update will be
>> accepted
>> (I have the power to do so, but EPEL policy may be boring sometimes)
>>
>> I'll take a look. I already added 20+ more packages to community repo for
>> pgadmin4. Adding another may not hurt, hopefully, at least for the build
>> servers.
>
> Oh, just saw python-sphinx10 package in EPEL 6. That brings 1.0.8 to EL6.
> However, I will need to apply this patch on EL 6:
>
> --- docs/en_US/Makefile.sphinx.old 2016-11-16 13:16:31.885343501 +0300
> +++ docs/en_US/Makefile.sphinx 2016-11-16 13:16:58.297102473 +0300
> @@ -3,7 +3,7 @@
>
> # You can set these variables from the command line.
> SPHINXOPTS =
> -SPHINXBUILD = sphinx-build
> +SPHINXBUILD = sphinx-1.0-build
> PAPER =
> BUILDDIR = _build
>
>
> So that it will use that sphinx version. Ok, I think we have a easier solution
> now, though -docs is not the only blocker in EL6. Let me work on the rest.
Did you notice the comment at the top of that section? You should be able to do:
SPHINXBUILD=sphinx-1.0-build make -f Makefile.sphinx html
or something similar.
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
From | Date | Subject | |
---|---|---|---|
Next Message | Magnus Hagander | 2016-11-16 10:37:31 | Re: theme to use while building docs |
Previous Message | Dave Page | 2016-11-16 10:26:11 | Re: theme to use while building docs |