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/widget.texi | |
parent | 903e50e43552b0a84d0c5335baa8ea0a1c2c8894 (diff) |
Include GFDL.
Diffstat (limited to 'man/widget.texi')
-rw-r--r-- | man/widget.texi | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/man/widget.texi b/man/widget.texi index 7215728952..0cf77ee460 100644 --- a/man/widget.texi +++ b/man/widget.texi @@ -57,6 +57,7 @@ Software Foundation raise funds for GNU development.'' * Widget Minor Mode:: * Utilities:: * Widget Wishlist:: +* GNU Free Documentation License:: * Index:: @end menu @@ -1774,7 +1775,7 @@ Get the item which @var{widget} is assumed to toggle. This is only meaningful for radio buttons or checkboxes in a list. @end defun -@node Widget Wishlist, Index, Utilities, Top +@node Widget Wishlist, GNU Free Documentation License, Utilities, Top @comment node-name, next, previous, up @section Wishlist @cindex todo @@ -1833,7 +1834,11 @@ See @code{TeX-printer-list} for an explanation. Add a @code{mailto} widget. @end itemize -@node Index, , Widget Wishlist, Top +@node GNU Free Documentation License, Index, Widget Wishlist, Top +@appendix GNU Free Documentation License +@include doclicense.texi + +@node Index, , GNU Free Documentation License, Top @comment node-name, next, previous, up @unnumbered Index |