The source project of this merge request has been removed.
[doc] fix missing theme in sphinx < 1.3
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.