diff man/flymake.texi @ 77235:88224dc74061

Include GFDL.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 15 Apr 2007 20:57:15 +0000
parents 3d45362f1d38
children 6b1f95e26181
line wrap: on
line diff
--- a/man/flymake.texi	Sun Apr 15 19:41:44 2007 +0000
+++ b/man/flymake.texi	Sun Apr 15 20:57:15 2007 +0000
@@ -59,6 +59,7 @@
 * Using Flymake::
 * Configuring Flymake::
 * Flymake Implementation::
+* GNU Free Documentation License::
 * Index::
 @end menu
 
@@ -744,6 +745,10 @@
 It just kills all the active syntax check processes before calling
 @code{compile}.
 
+@node GNU Free Documentation License
+@appendix GNU Free Documentation License
+@include doclicense.texi
+
 @node Index
 @unnumbered Index