doc/misc/gnus.texi (Top): Add missing `HTML' menu.

[gnu-emacs] / doc / misc / flymake.texi

diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
index 362bcd8280b3ce9d59069aa3c52f61a7fec6ece3..7bd8fd1338d928a3cbcf5de68ce9a81e84172c40 100644 (file)
--- a/doc/misc/flymake.texi
+++ b/doc/misc/flymake.texi
@@ -1,6 +1,6 @@
 \input texinfo   @c -*-texinfo-*-
 @comment %**start of header
-@setfilename ../../info/flymake
+@setfilename ../../info/flymake.info
 @set VERSION 0.3
 @set UPDATED April 2004
 @settitle GNU Flymake @value{VERSION}
@@ -18,7 +18,7 @@ Copyright @copyright{} 2004--2014 Free Software Foundation, Inc.
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.3 or
 any later version published by the Free Software Foundation; with no
-Invariant Sections, with the Front-Cover texts being ``A GNU Manual,''
+Invariant Sections, with the Front-Cover Texts being ``A GNU Manual,''
 and with the Back-Cover Texts as in (a) below.  A copy of the license
 is included in the section entitled ``GNU Free Documentation License''.