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/semantic.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/semantic.texi')
| -rw-r--r-- | doc/misc/semantic.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/misc/semantic.texi b/doc/misc/semantic.texi index 74dcb170a19..abba26a2f5f 100644 --- a/doc/misc/semantic.texi +++ b/doc/misc/semantic.texi @@ -49,6 +49,9 @@ modify this GNU manual.'' @center @titlefont{Semantic} @sp 4 @center by @value{AUTHOR} +@page +@vskip 0pt plus 1filll +@insertcopying @end titlepage @page |