diff options
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 |