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.
Cheers,
--
Devrim Gündüz
Open Source Solution Architect, Red Hat Certified Engineer
Twitter: @DevrimGunduz , @DevrimGunduzTR