diff --git a/doc/misc/edt.texi b/doc/misc/edt.texi index 7c6dc46e513..c2d61bcdffc 100644 --- a/doc/misc/edt.texi +++ b/doc/misc/edt.texi @@ -57,6 +57,7 @@ of DEC's EDT editor. * Highlights:: Some highlights, and comparisons to the original Emacs EDT emulation. * Customizing:: Customizing emulation. +* GNU Free Documentation License:: The license for this manual. @end menu @node Overview @@ -940,6 +941,10 @@ Enter the Emacs @code{customize} command. First select the @samp{Editing} group and then select the @samp{Emulations} group. Finally, select the @samp{Edt} group and follow the directions. +@node GNU Free Documentation License +@appendix GNU Free Documentation License +@include doclicense.texi + @bye @ignore