| commit | a726658e3523fe769901328056496a405256690d | |
| author | Glenn Morris <rgm@gnu.org> | |
| Fri, 28 Feb 2014 06:33:23 +0000 (27 22:33 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Fri, 28 Feb 2014 06:33:23 +0000 (27 22:33 -0800) | ||
| tree | dfb5f483f2c5392ac0fa51156b959eb351fa899d | treesnapshot (tar.gz zip) |
| parent | 19002bcc6f1347655c98baa552cdc7ade4c4d314 | commitdiff |
* doc/misc/info.texi (Help-Xref): Add submenu.
This placates makeinfo 5.2, which otherwise actually emits a warning;
surely a flagrant breach of the makeinfo philosophy...?
This placates makeinfo 5.2, which otherwise actually emits a warning;
surely a flagrant breach of the makeinfo philosophy...?
| doc/misc/info.texi | diffblobblamehistory |