[doc] fix missing theme in sphinx < 1.3 (!54) · Merge requests · DuneQuality / dune-testtools

The source project of this merge request has been removed.

René Fritze requested to merge (removed):older_sphinx_issue into master Sep 29, 2015

I ran into a problem during 'make doc' in testtools with sphinx 1.2.1 installed. This fixes it for me and still works after installing newer sphinx with pip.

[doc] fix missing theme in sphinx < 1.3

Merge request reports