Re: theme to use while building docs

On Wed, Nov 16, 2016 at 10:22 AM, Dave Page <dpage(at)pgadmin(dot)org> wrote:

> On Wed, Nov 16, 2016 at 9:16 AM, Devrim Gündüz <devrim(at)gunduz(dot)org> wrote:
> >
> > Hi Dave,
> >
> > On Mon, 2016-11-14 at 09:41 +0000, Dave Page wrote:
> >> Hmmm. It's because the version of Sphinx for EL7 and friends is really
> >> quite old. We could probably add some Makefile magic to detect and
> >> change it, but frankly it's probably easier (and will certainly be
> >> much quicker) for you to just patch conf.py.
> >
> > Ok, patched conf.py. That said, Sphinx in EL6 is 0.something, and even
> does not
> > accept the default parameters. We may want to disable docs builds on EL
> 6.
>
> 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.
>
>
Not at all knowing what Devrim was thinking, but perhaps you need something
like what postgresql.org does for "difficult build dependencies". Which is
build a snapshot tarfile that includes the *prebuilt* documentation, and
the same for releases of course. They don't go in git, but they go in the
tarballs (we do that both for the docs and for things like the bison output
in pg.org). And the tarballs contain nothing platform-specific (I assume),
so they can be built on a platform that has easy access to those tools.

--
Magnus Hagander
Me: http://www.hagander.net/
Work: http://www.redpill-linpro.com/