* doc/misc/ert.texi: Add a titlepage. Use @insertcopying.
authorGlenn Morris <rgm@gnu.org>
Fri, 3 Jan 2014 03:00:39 +0000 (19:00 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 3 Jan 2014 03:00:39 +0000 (19:00 -0800)
commit33306400fb40555f666b2064e09b331e3a41c244
treeba44195d8899d6de5c439b26269b1143a87d0dda
parentfdf52fd4f64d827c3e6c414b09ada7b323f37715
* doc/misc/ert.texi: Add a titlepage.  Use @insertcopying.
doc/misc/ChangeLog
doc/misc/ert.texi