On Tue, Jul 23, 2019 at 10:41 PM Devrim Gündüz <dev...@gunduz.org> wrote:
> > Hi Ashesh, > > On Tue, 2019-07-23 at 21:58 +0530, Ashesh Vashi wrote: > > Because - pgAdmin4 has its own documentation theme. :-) > > Thanks, but this does not answer my question. This theme (like the previous > "classic" theme) breaks RHEL 7 builds: > > Running Sphinx v1.1.3 > loading pickled environment... not yet created > > Theme error: > no theme named 'classic' found, inherited by 'pgadmin4' > make[2]: *** [html] Error 1 > make[2]: Leaving directory > `/home/pgsql/git/pgrpms/rpm/redhat/master/pgadmin4/master/pgadmin4-4.11/docs/en_US' > make[1]: *** [docs] Error 2 > make[1]: Leaving directory > `/home/pgsql/git/pgrpms/rpm/redhat/master/pgadmin4/master/pgadmin4-4.11' > error: Bad exit status from /var/tmp/rpm-tmp.Afb3Zm (%build) > > So, I updated the patch, and used the default theme again in 4.11 RPMs. > Stupid CentOS/RHEL... -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company
