aboutsummaryrefslogtreecommitdiffstats
path: root/doc/misc/flymake.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/misc/flymake.texi')
-rw-r--r--doc/misc/flymake.texi2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
index d1f3e21c20e..dce0a714809 100644
--- a/doc/misc/flymake.texi
+++ b/doc/misc/flymake.texi
@@ -5,6 +5,8 @@
5@set UPDATED April 2004 5@set UPDATED April 2004
6@settitle GNU Flymake @value{VERSION} 6@settitle GNU Flymake @value{VERSION}
7@syncodeindex pg cp 7@syncodeindex pg cp
8@documentencoding UTF-8
9@documentlanguage en
8@comment %**end of header 10@comment %**end of header
9 11
10@copying 12@copying