gitdir: ../../.git/modules/external/sphinx_rtd_theme
