* 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: Add @syncodeindex directives. (Index): New node. (Top): Add Index to the top-level menus. Add index entries to all nodes.