(#7501) don't install sphinx_rtd_theme
(#7501) don't install sphinx_rtd_theme

htcondor/htcondor,htcondor/htcondor,htcondor/htcondor,htcondor/htcondor,htcondor/htcondor,htcondor/htcondor,htcondor/htcondor,htcondor/htcondor