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.