diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/conf.py | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/doc/conf.py b/doc/conf.py index 0b43acca6..31b20c948 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -77,9 +77,9 @@ author = u'Tristan Gingold and contributors' # built documents. # try: - with open('../src/version.in') as verin: + with open('../configure') as verin: for line in verin: - line = re.findall(r'Ghdl_Ver.+\"(.+)\";', line) + line = re.findall(r'ghdl_version=\"(.+)\"', line) if line: version=line[0] except Exception, e: @@ -150,12 +150,12 @@ except Exception as ex: # a list of builtin themes. #html_theme = 'alabaster' html_theme = "sphinx_rtd_theme" -# Override default css to get a larger width for ReadTheDoc build -html_context = { - 'css_files': [ - 'https://media.readthedocs.org/css/sphinx_rtd_theme.css', - 'https://media.readthedocs.org/css/readthedocs-doc-embed.css', - '_static/theme_overrides.css', +# Override default css to get a larger width for ReadTheDoc build +html_context = { + 'css_files': [ + 'https://media.readthedocs.org/css/sphinx_rtd_theme.css', + 'https://media.readthedocs.org/css/readthedocs-doc-embed.css', + '_static/theme_overrides.css', ], } |