diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-01-02 19:13:58 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-01-02 19:13:58 -0800 |
| commit | 75b76b8763d7e2878095e1033be95d33940aaf90 (patch) | |
| tree | fe21c533523922484baddf6dcf38f47b774b5b3e /doc/misc/srecode.texi | |
| parent | 4a970ff58d74df85f4c20b48c36edb5f58683cfe (diff) | |
| download | emacs-75b76b8763d7e2878095e1033be95d33940aaf90.tar.gz | |
* ede.texi, eieio.texi, semantic.texi, srecode.texi: Add copyright notice
to titlepage.
Diffstat (limited to 'doc/misc/srecode.texi')
| -rw-r--r-- | doc/misc/srecode.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/misc/srecode.texi b/doc/misc/srecode.texi index e45330f6740..1c48c0ba77e 100644 --- a/doc/misc/srecode.texi +++ b/doc/misc/srecode.texi @@ -40,6 +40,9 @@ modify this GNU manual.'' @center @titlefont{SRecode} @vskip 0pt plus 1 fill @center by @value{AUTHOR} +@page +@vskip 0pt plus 1filll +@insertcopying @end titlepage @macro semantic{} |