diff options
| author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-05 00:26:04 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 18:50:44 +0100 |
| commit | 2f92626e52fd6496c426e8c10c631c4f8b589c12 (patch) | |
| tree | 4f536f539c34a17359718e3531e194eea8d0f014 /doc | |
| parent | 49bb019a9f57e52397c5f1b2bbfb20cd83645231 (diff) | |
| download | ghdl-2f92626e52fd6496c426e8c10c631c4f8b589c12.tar.gz ghdl-2f92626e52fd6496c426e8c10c631c4f8b589c12.tar.bz2 ghdl-2f92626e52fd6496c426e8c10c631c4f8b589c12.zip | |
Added 'attrs' to the dependency list.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/conf.py | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/doc/conf.py b/doc/conf.py index baf7640f9..7eaf6c9e1 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -82,11 +82,6 @@ except Exception as ex: print(ex) rst_prolog = "" -# -- Options for HTML output ---------------------------------------------- - - -# Output file base name for HTML help builder. -htmlhelp_basename = 'GHDLdoc' # ============================================================================== @@ -101,7 +96,8 @@ html_theme_options = { } html_static_path = ['_static'] -html_extra_path = [str(Path(__file__).resolve().parent.parent / 'public')] +# '/public' will contain the output from gnatdoc +html_extra_path = [str(Path(__file__).resolve().parent.parent / 'public')] # FIXME: if not exist, create directory html_logo = str(Path(html_static_path[0]) / 'logo.png') html_favicon = str(Path(html_static_path[0]) / 'icon.png') |