Merge from gnulib

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

diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
index 31fa1ab26a9302bea99b4aa3957a4b5f33e75a03..6c924cf9547eecbdf83906f307c8d4051c434a1f 100644 (file)
--- a/doc/misc/flymake.texi
+++ b/doc/misc/flymake.texi
@@ -4,8 +4,8 @@
 @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