diff options
| author | Glenn Morris | 2009-12-15 05:31:08 +0000 |
|---|---|---|
| committer | Glenn Morris | 2009-12-15 05:31:08 +0000 |
| commit | 93e01d46bd928614e885bfd9e90cf6e38635ec70 (patch) | |
| tree | 18007ca019eedbcb2a47b69bb0dec7f713bb1446 | |
| parent | 4fa409bf5a0ac25d6b0dea2221ca6f505ae7bfd3 (diff) | |
| download | emacs-93e01d46bd928614e885bfd9e90cf6e38635ec70.tar.gz emacs-93e01d46bd928614e885bfd9e90cf6e38635ec70.zip | |
Add appendix with the GFDL.
| -rw-r--r-- | doc/misc/edt.texi | 5 |
1 files changed, 5 insertions, 0 deletions
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. | |||
| 57 | * Highlights:: Some highlights, and comparisons to the | 57 | * Highlights:: Some highlights, and comparisons to the |
| 58 | original Emacs EDT emulation. | 58 | original Emacs EDT emulation. |
| 59 | * Customizing:: Customizing emulation. | 59 | * Customizing:: Customizing emulation. |
| 60 | * GNU Free Documentation License:: The license for this manual. | ||
| 60 | @end menu | 61 | @end menu |
| 61 | 62 | ||
| 62 | @node Overview | 63 | @node Overview |
| @@ -940,6 +941,10 @@ Enter the Emacs @code{customize} command. First select the | |||
| 940 | @samp{Editing} group and then select the @samp{Emulations} group. | 941 | @samp{Editing} group and then select the @samp{Emulations} group. |
| 941 | Finally, select the @samp{Edt} group and follow the directions. | 942 | Finally, select the @samp{Edt} group and follow the directions. |
| 942 | 943 | ||
| 944 | @node GNU Free Documentation License | ||
| 945 | @appendix GNU Free Documentation License | ||
| 946 | @include doclicense.texi | ||
| 947 | |||
| 943 | @bye | 948 | @bye |
| 944 | 949 | ||
| 945 | @ignore | 950 | @ignore |