doc/misc/gnus.texi (Top): Add missing `HTML' menu.
commite1fa3699ba0ec7d8c21fc108074199cba6006b9b
authorKatsumi Yamaoka <yamaoka@jpl.org>
Mon, 10 Nov 2014 02:17:47 +0000 (10 02:17 +0000)
committerKatsumi Yamaoka <yamaoka@jpl.org>
Mon, 10 Nov 2014 02:17:47 +0000 (10 02:17 +0000)
tree98c0c6785f2ce58918546c65531768a897c411ad
parent1b2bff38d7bee0cf0c1489f94a6462ef97c481ff
doc/misc/gnus.texi (Top): Add missing `HTML' menu.
(HTML): Fix xref to FAQ 4-16.
doc/misc/ChangeLog
doc/misc/gnus.texi