Hi,
* Tim Michelsen <
timmic...@gmx-topmail.de> [05.10.2012 17:10]:
Take a look to the ``sourcelink.html``-file in your main sphinx path. On a
Debian or Ubuntu system, it should be placed somewhere like:
/usr/local/lib/python2.7/dist-packages/Sphinx-1.1.3-py2.7.egg/sphinx/themes/basic
You can simply add some HTML code there (but note that changes in that file have
global scope).
Greetings,
Bernhard