diff options
| -rw-r--r-- | doc/misc/edt.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/edt.texi b/doc/misc/edt.texi index 2361313f262..cb22b82e262 100644 --- a/doc/misc/edt.texi +++ b/doc/misc/edt.texi | |||
| @@ -30,7 +30,7 @@ modify this GNU manual.'' | |||
| 30 | @titlepage | 30 | @titlepage |
| 31 | @title EDT Emulation User's Manual | 31 | @title EDT Emulation User's Manual |
| 32 | @author Kevin Gallagher | 32 | @author Kevin Gallagher |
| 33 | @author @email{kevin.gal@verizon.net} | 33 | @author @email{kevin.gal@@verizon.net} |
| 34 | @page | 34 | @page |
| 35 | @vskip 0pt plus 1filll | 35 | @vskip 0pt plus 1filll |
| 36 | @insertcopying | 36 | @insertcopying |