theme to use while building docs

Hi,

While building docs on EL7 and F-23, I got this error:

"no theme named 'classic' found (missing theme.conf?)"

The reason is that sphinx in these distros don't have the classic theme. So, I
can patch docs/en_US/conf.py , and change 

html_theme = 'default'

in these distros. However, that will be a hack. Is this something we can fix
upstream, or should I really patch it myself?

Regards,
--
Devrim GÜNDÜZ
EnterpriseDB: http://www.enterprisedb.com
PostgreSQL Danışmanı/Consultant, Red Hat Certified Engineer
Twitter: @DevrimGunduz , @DevrimGunduzTR