diff options
| -rw-r--r-- | doc/misc/ChangeLog | 2 | ||||
| -rw-r--r-- | doc/misc/efaq-w32.texi | 4 | ||||
| -rw-r--r-- | doc/misc/reftex.texi | 2 |
3 files changed, 8 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index bb345a8a115..58e4837bafb 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,5 +1,7 @@ 2014-01-03 Glenn Morris <rgm@gnu.org> + * efaq-w32.texi, reftex.texi: Use @insertcopying in non-TeX. + * ede.texi, eieio.texi, semantic.texi, srecode.texi: Add copyright notice to titlepage. diff --git a/doc/misc/efaq-w32.texi b/doc/misc/efaq-w32.texi index 660ef64fd0f..0e846b2cadc 100644 --- a/doc/misc/efaq-w32.texi +++ b/doc/misc/efaq-w32.texi @@ -71,6 +71,10 @@ At time of writing, the latest version of GNU Emacs is version @value{EMACSVER}. @c Links to ftp.gnu.org are given as http links, since Windows ftp clients @c are notoriously bad at handling firewalls etc. +@ifnottex +@insertcopying +@end ifnottex + @contents @menu diff --git a/doc/misc/reftex.texi b/doc/misc/reftex.texi index 4c34cc4aa01..a50da1970ff 100644 --- a/doc/misc/reftex.texi +++ b/doc/misc/reftex.texi @@ -98,6 +98,8 @@ modify this GNU manual.'' @node Top @top @RefTeX{} +@insertcopying + @RefTeX{} is a package for managing Labels, References, Citations and index entries with GNU Emacs. |