doc/misc/gnus.texi (Top): Add missing `HTML' menu.
commit155d93fff87a516197d29edbd02af9a10517bd61
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)
tree6cf0530bdd6c4dc26867f1aefdad0902a3cb00fc
parentbe1f31616a1e0db3764da6ab3a22e04f913a25ab
doc/misc/gnus.texi (Top): Add missing `HTML' menu.
(HTML): Fix xref to FAQ 4-16.
doc/misc/ChangeLog
doc/misc/gnus.texi