]> git.eshelyaron.com Git - emacs.git/commit
Add Index to ERT manual
authorEli Zaretskii <eliz@gnu.org>
Sat, 28 Oct 2017 11:25:07 +0000 (14:25 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 28 Oct 2017 11:25:07 +0000 (14:25 +0300)
commit9102fb603ed74bd48bc8e16a09d8224dab7600b7
treeab4c34886709236db36dfed34fdbee59a44fcd1c
parent68182a471007e4cb72efe53c38af9cb3aae332d2
Add Index to ERT manual

* doc/misc/ert.texi: Add @syncodeindex directives.
(Index): New node.
(Top): Add Index to the top-level menus.
Add index entries to all nodes.
doc/misc/ert.texi