diff options
author | Bastian Krause <bst@pengutronix.de> | 2019-03-25 11:01:55 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2019-03-25 12:03:18 +0100 |
commit | eccd4e7a6807805332b2db0fa301607c85ba4386 (patch) | |
tree | 48e0e38b84e4bbc7985322cb7d7e9f2ab34d4887 /doc/index.rst | |
parent | d47e1d69dc0d5ae9371213efaec6aabcd6135f68 (diff) | |
download | ptxdist-eccd4e7a6807805332b2db0fa301607c85ba4386.tar.gz ptxdist-eccd4e7a6807805332b2db0fa301607c85ba4386.tar.xz |
doc: remove search page and genindex from index
The ptxdist documentation does not use index directives (e.g.
".. index:: Foo"), so the automatically generated index page is always
empty. So remove it. If this directive is used some day we can add it
again.
The ptxdist theme already includes search functionality, so remove the
search directive as well.
These special names are documented here:
https://www.sphinx-doc.org/en/master/usage/restructuredtext/directives.html#special-names
This is also a workaround for a sphinx bug accidentally showing these
directives in pdf output:
https://github.com/sphinx-doc/sphinx/issues/2827
Signed-off-by: Bastian Krause <bst@pengutronix.de>
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'doc/index.rst')
-rw-r--r-- | doc/index.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/index.rst b/doc/index.rst index 36edb4752..6a01d6dd7 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -20,7 +20,3 @@ Welcome to the PTXdist Universe contributing faq getting_help - -* :ref:`search` -* :ref:`genindex` - |