diff options
| author | Chong Yidong <cyd@stupidchicken.com> | 2007-04-15 20:57:15 +0000 |
|---|---|---|
| committer | Chong Yidong <cyd@stupidchicken.com> | 2007-04-15 20:57:15 +0000 |
| commit | 37417e0baf4c17522a44f00ff879617a8eea0e09 (patch) | |
| tree | f29f0673ca2e25c10705de1e50c41b1718b54cc4 /man/widget.texi | |
| parent | bafd0712953e4a92cbb731ea18ae23bf18c4ed7e (diff) | |
| download | emacs-37417e0baf4c17522a44f00ff879617a8eea0e09.tar.gz | |
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 72157289524..0cf77ee4600 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 |