diff options
author | Tristan Gingold <tgingold@free.fr> | 2018-03-21 18:33:54 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2018-03-21 18:33:54 +0100 |
commit | ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1 (patch) | |
tree | aecf5e76a63c2906fa4ad2041505b740b0780209 /doc | |
parent | 047de40c7799e4186b16bd1ad2c6eb17a7cf0098 (diff) | |
download | ghdl-ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1.tar.gz ghdl-ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1.tar.bz2 ghdl-ffca448651c5b7b0fc5fe6bdbbcf1e0dc13419e1.zip |
Set a version to libghdl, put version in configure.
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', ], } |