diff options
Diffstat (limited to 'man/flymake.texi')
| -rw-r--r-- | man/flymake.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/man/flymake.texi b/man/flymake.texi index 4d6b8303f4a..16947d7f2de 100644 --- a/man/flymake.texi +++ b/man/flymake.texi @@ -44,6 +44,7 @@ license to the document, as described in section 6 of the license. @author Pavel Kobiakov(@email{pk_at_work@@yahoo.com}) @page @vskip 0pt plus 1filll +@insertcopying @end titlepage @contents @@ -59,6 +60,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 +746,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 |