diff options
Diffstat (limited to 'man/url.texi')
| -rw-r--r-- | man/url.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man/url.texi b/man/url.texi index aeabc435bfd..0fc6b08acdc 100644 --- a/man/url.texi +++ b/man/url.texi @@ -74,6 +74,7 @@ License.'' * General Facilities:: URLs can be cached, accessed via a gateway and tracked in a history list. * Customization:: Variables you can alter. +* GNU Free Documentation License:: The license for this documentation. * Function Index:: * Variable Index:: * Concept Index:: @@ -1176,6 +1177,10 @@ Connect directly. @end table @end defopt +@node GNU Free Documentation License +@appendix GNU Free Documentation License +@include doclicense.texi + @node Function Index @unnumbered Command and Function Index @printindex fn |