From ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 21 Mar 2018 18:33:54 +0100 Subject: Set a version to libghdl, put version in configure. --- doc/conf.py | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'doc') 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', ], } -- cgit v1.2.3