diff options
| author | Glenn Morris | 2014-01-02 19:15:01 -0800 |
|---|---|---|
| committer | Glenn Morris | 2014-01-02 19:15:01 -0800 |
| commit | de229ee3d4597519397f259bab4312edc100dbd1 (patch) | |
| tree | 8dff3ea36d702f85209dda19db1def9584068dbc | |
| parent | 75b76b8763d7e2878095e1033be95d33940aaf90 (diff) | |
| download | emacs-de229ee3d4597519397f259bab4312edc100dbd1.tar.gz emacs-de229ee3d4597519397f259bab4312edc100dbd1.zip | |
* doc/misc/efaq-w32.texi, reftex.texi: Use @insertcopying in non-TeX.
| -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 @@ | |||
| 1 | 2014-01-03 Glenn Morris <rgm@gnu.org> | 1 | 2014-01-03 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * efaq-w32.texi, reftex.texi: Use @insertcopying in non-TeX. | ||
| 4 | |||
| 3 | * ede.texi, eieio.texi, semantic.texi, srecode.texi: | 5 | * ede.texi, eieio.texi, semantic.texi, srecode.texi: |
| 4 | Add copyright notice to titlepage. | 6 | Add copyright notice to titlepage. |
| 5 | 7 | ||
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}. | |||
| 71 | @c Links to ftp.gnu.org are given as http links, since Windows ftp clients | 71 | @c Links to ftp.gnu.org are given as http links, since Windows ftp clients |
| 72 | @c are notoriously bad at handling firewalls etc. | 72 | @c are notoriously bad at handling firewalls etc. |
| 73 | 73 | ||
| 74 | @ifnottex | ||
| 75 | @insertcopying | ||
| 76 | @end ifnottex | ||
| 77 | |||
| 74 | @contents | 78 | @contents |
| 75 | 79 | ||
| 76 | @menu | 80 | @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.'' | |||
| 98 | @node Top | 98 | @node Top |
| 99 | @top @RefTeX{} | 99 | @top @RefTeX{} |
| 100 | 100 | ||
| 101 | @insertcopying | ||
| 102 | |||
| 101 | @RefTeX{} is a package for managing Labels, References, Citations and | 103 | @RefTeX{} is a package for managing Labels, References, Citations and |
| 102 | index entries with GNU Emacs. | 104 | index entries with GNU Emacs. |
| 103 | 105 | ||