diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-04 16:19:43 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 18:50:44 +0100 |
commit | 22f466ae02137b3cfc3e5de823455e596107176e (patch) | |
tree | 6327400ea119abe3a1253dd55433c7230b5127bb | |
parent | 33cf590ce60c5d76e476a4f5438f859395717796 (diff) | |
download | ghdl-22f466ae02137b3cfc3e5de823455e596107176e.tar.gz ghdl-22f466ae02137b3cfc3e5de823455e596107176e.tar.bz2 ghdl-22f466ae02137b3cfc3e5de823455e596107176e.zip |
Enabled Python Module Index.
-rw-r--r-- | doc/index.rst | 1 | ||||
-rw-r--r-- | doc/py-modindex.rst | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/doc/index.rst b/doc/index.rst index 690653cbb..868cd9dec 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -175,3 +175,4 @@ GHDL :hidden: genindex + py-modindex diff --git a/doc/py-modindex.rst b/doc/py-modindex.rst new file mode 100644 index 000000000..40fc7e6c2 --- /dev/null +++ b/doc/py-modindex.rst @@ -0,0 +1,4 @@ +.. This file is a placeholder and will be replaced + +Python Module Index +################### |