diff options
| -rw-r--r-- | doc/build/Makefile | 2 | ||||
| -rw-r--r-- | doc/build/conf.py | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/build/Makefile b/doc/build/Makefile index 1ca5b74..beed529 100644 --- a/doc/build/Makefile +++ b/doc/build/Makefile @@ -2,7 +2,7 @@ # # You can set these variables from the command line. -SPHINXOPTS = +SPHINXOPTS = -T SPHINXBUILD = sphinx-build PAPER = BUILDDIR = output diff --git a/doc/build/conf.py b/doc/build/conf.py index 89c95d6..5197ea0 100644 --- a/doc/build/conf.py +++ b/doc/build/conf.py @@ -174,9 +174,11 @@ html_domain_indices = False # If true, the reST sources are included in the HTML build as _sources/<name>. #html_copy_source = True +html_copy_source = False # If true, links to the reST sources are added to the pages. #html_show_sourcelink = True +html_show_sourcelink = False # If true, "Created using Sphinx" is shown in the HTML footer. Default is True. #html_show_sphinx = True |