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 a9904530e13d1f59d58505050851c7ac6c9abd2c..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''.
 
@@ -255,7 +255,7 @@ syntax check tool).
 
 Flymake uses a simple logging facility for indicating important points
 in the control flow.  The logging facility sends logging messages to
-the @code{*Messages*} buffer.  The information logged can be used for
+the @file{*Messages*} buffer.  The information logged can be used for
 resolving various problems related to Flymake.
 
 Logging output is controlled by the @code{flymake-log-level}
@@ -326,7 +326,7 @@ started after @code{flymake-no-changes-timeout} seconds.
 @item flymake-gui-warnings-enabled
 A boolean flag indicating whether Flymake will show message boxes for
 non-recoverable errors.  If @code{flymake-gui-warnings-enabled} is
-@code{nil}, these errors will only be logged to the @code{*Messages*}
+@code{nil}, these errors will only be logged to the @file{*Messages*}
 buffer.
 
 @item flymake-start-syntax-check-on-newline
@@ -695,8 +695,8 @@ Buildfile values are also cached.
 
 The command line (command name and the list of arguments) for launching a process is returned by the
 initialization function.  Flymake then just calls @code{start-process}
-to start an asynchronous process and configures process filter and
-sentinel which is used for processing the output of the syntax check
+to start an asynchronous process and configures a process filter and
+sentinel, which are used for processing the output of the syntax check
 tool.
 
 @node Parsing the output