Re: pgAdmin4 v4.11 candidate builds

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.