diff man/eshell.texi @ 77235:88224dc74061

Include GFDL.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 15 Apr 2007 20:57:15 +0000
parents f33340774471
children 02b9a9aa5b0c dc002877ce12 e6fdae9180d4
line wrap: on
line diff
--- a/man/eshell.texi	Sun Apr 15 19:41:44 2007 +0000
+++ b/man/eshell.texi	Sun Apr 15 20:57:15 2007 +0000
@@ -89,6 +89,7 @@
 * Extension modules::
 * Extras and Goodies::
 * Bugs and ideas::              Known problems, and future ideas.
+* GNU Free Documentation License:: The license for this documentation.
 * Concept Index::
 * Function and Variable Index::
 * Key Index::
@@ -922,6 +923,10 @@
 
 @end table
 
+@node GNU Free Documentation License
+@appendix GNU Free Documentation License
+@include doclicense.texi
+
 @node Concept Index
 @unnumbered Concept Index