diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-02-21 00:50:09 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
commit | 669fd99724492f9c8983f414b43e7dfb7bec0dd0 (patch) | |
tree | dbc354c2be1f969763cfa369413109381b5508e3 /doc/conf.py | |
parent | bfb47bd712511b42c66094c649fee89cd621fe32 (diff) | |
download | ghdl-669fd99724492f9c8983f414b43e7dfb7bec0dd0.tar.gz ghdl-669fd99724492f9c8983f414b43e7dfb7bec0dd0.tar.bz2 ghdl-669fd99724492f9c8983f414b43e7dfb7bec0dd0.zip |
Add theme_overrrides.css
Move WhatIs* to About. Move About, Contributing and Copying to doc. Rename Copying to License. Append CC-BY-SA-4.0 legalcode to COPYING.md
Chapter Introduction ready for review.
Starting to rewrite Building
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/doc/conf.py b/doc/conf.py index 2d431acfe..7a6ff7219 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -150,10 +150,10 @@ todo_link_only = True # reST settings rst_prolog = """\ +.. include:: <isonum.txt> .. |br| raw:: html <br /> - """ # -- Options for HTML output ---------------------------------------------- @@ -161,7 +161,15 @@ rst_prolog = """\ # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. #html_theme = 'alabaster' -html_theme = "sphinx_rtd_theme" +#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', + ], +} # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the @@ -350,5 +358,6 @@ intersphinx_mapping = { extlinks = { 'ghdlissue': ('https://github.com/tgingold/ghdl/issues/%s', 'issue #'), 'ghdlpull': ('https://github.com/tgingold/ghdl/pull/%s', 'pull request #'), - 'ghdlsrc': ('https://github.com/tgingold/ghdl/blob/master/src/%s', None) + 'ghdlsrc': ('https://github.com/tgingold/ghdl/blob/master/src/%s', None), + 'wikipedia': ('https://en.wikipedia.org/wiki/%s', None) } |