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 761056a69a50f503edca563f58fc424e2c902aea..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}