Merge from gnulib

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

diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
index 52683a8abfe8a0b5406cf5ff3f5341ce55ab3a1a..6c924cf9547eecbdf83906f307c8d4051c434a1f 100644 (file)
--- a/doc/misc/flymake.texi
+++ b/doc/misc/flymake.texi
@@ -1,11 +1,11 @@
 \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}
+@include docstyle.texi
 @syncodeindex pg cp
-@documentencoding UTF-8
 @comment %**end of header
 
 @copying