diff options
Diffstat (limited to 'resources/tools/doc_gen/src/indices.rst')
| -rw-r--r-- | resources/tools/doc_gen/src/indices.rst | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/resources/tools/doc_gen/src/indices.rst b/resources/tools/doc_gen/src/indices.rst deleted file mode 100644 index d46b839f66..0000000000 --- a/resources/tools/doc_gen/src/indices.rst +++ /dev/null @@ -1,6 +0,0 @@ -Indices and tables -================== - -* :ref:`genindex` -* :ref:`modindex` -* :ref:`search` |