diff options
| author | Chong Yidong <[email protected]> | 2007-04-15 20:57:15 +0000 |
|---|---|---|
| committer | Chong Yidong <[email protected]> | 2007-04-15 20:57:15 +0000 |
| commit | 84247bb59e0b00b4a8c929eae40d52cf1d25211d (patch) | |
| tree | 052381f83523833cd4dad02b9986d12bab0f6a64 /man/flymake.texi | |
| parent | 903e50e43552b0a84d0c5335baa8ea0a1c2c8894 (diff) | |
Include GFDL.
Diffstat (limited to 'man/flymake.texi')
| -rw-r--r-- | man/flymake.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man/flymake.texi b/man/flymake.texi index 4d6b8303f4..620eab922f 100644 --- a/man/flymake.texi +++ b/man/flymake.texi @@ -59,6 +59,7 @@ license to the document, as described in section 6 of the license. * Using Flymake:: * Configuring Flymake:: * Flymake Implementation:: +* GNU Free Documentation License:: * Index:: @end menu @@ -744,6 +745,10 @@ Flymake also provides an alternative command for starting compilation, 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 |