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
signature.asc
Description: This is a digitally signed message part
