diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-11-05 22:37:43 +0100 |
|---|---|---|
| committer | Artyom V. Poptsov <poptsov.artyom@gmail.com> | 2016-11-06 07:17:18 +0300 |
| commit | 16111d123a1011a829a17fa91fbda1efb4a7cd1e (patch) | |
| tree | 68cd5b5f60362de6f24600ef8f3f0fc95e2dd3a6 /doc/indices.texi | |
| parent | build: Remove 'version.texi', which is generated. (diff) | |
| download | guile-ssh-16111d123a1011a829a17fa91fbda1efb4a7cd1e.tar.gz | |
doc: Add procedure index.
* doc/indices.texi (Procedure Index): New node.
* doc/guile-ssh.texi: Add it to the menu.
Signed-off-by: Artyom V. Poptsov <poptsov.artyom@gmail.com>
Diffstat (limited to 'doc/indices.texi')
| -rw-r--r-- | doc/indices.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/indices.texi b/doc/indices.texi index 5e85df6..c09ad5e 100644 --- a/doc/indices.texi +++ b/doc/indices.texi @@ -9,6 +9,11 @@ @printindex tp +@node Procedure Index +@unnumbered Procedure Index + +@printindex fn + @node Concept Index @unnumbered Concept Index |