diff --git a/fastjar/ChangeLog b/fastjar/ChangeLog
index 2ceb418fc8b902dd6396f9998e280787861239a5..6e1f18757ceb1554e57ed2688d4972ce6e0455ec 100644
--- a/fastjar/ChangeLog
+++ b/fastjar/ChangeLog
@@ -1,3 +1,7 @@
+2002-12-23  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+	* fastjar.texi: Include Cover Texts in man page.
+
 2002-12-04  Jakub Jelinek  <jakub@redhat.com>
 
 	* fastjar.texi (jar @direntry, grepjar @direntry): Add (fastjar).
diff --git a/fastjar/fastjar.texi b/fastjar/fastjar.texi
index f51cb99e7309359828514d6afb929c9700ea1e7a..e072e3949c7d47de0ff921f1b029cb2ebcd400d0 100644
--- a/fastjar/fastjar.texi
+++ b/fastjar/fastjar.texi
@@ -49,6 +49,8 @@ man page gfdl(7).
 @c man end
 @end ignore
 
+@c man begin COPYRIGHT
+
 (a) The FSF's Front-Cover Text is:
 
      A GNU Manual
@@ -58,6 +60,7 @@ man page gfdl(7).
      You have freedom to copy and modify this GNU Manual, like GNU
      software.  Copies published by the Free Software Foundation raise
      funds for GNU development.
+@c man end
 @end ifinfo
 
 @titlepage
diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog
index 2abb8d04d90e0aa4de1658fb6ba4ac8a579c21e0..07285ba817727c13ce6069e709742a102f3ffb9c 100644
--- a/gcc/java/ChangeLog
+++ b/gcc/java/ChangeLog
@@ -1,3 +1,7 @@
+2002-12-23  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+	* gcj.texi: Include Cover Texts in man page.
+
 2002-12-23  Jeff Sturm  <jsturm@one-point.com>
 
 	* class.c (build_static_field_ref): Check FIELD_FINAL.
diff --git a/gcc/java/gcj.texi b/gcc/java/gcj.texi
index 0be327f65c6fe3ad910cb43ea72b9e965e582d99..d527e406040a0a71b40e0125845acef4b64fdb5e 100644
--- a/gcc/java/gcj.texi
+++ b/gcc/java/gcj.texi
@@ -58,6 +58,8 @@ man page gfdl(7).
 @c man end
 @end ignore
 
+@c man begin COPYRIGHT
+
 (a) The FSF's Front-Cover Text is:
 
      A GNU Manual
@@ -67,6 +69,7 @@ man page gfdl(7).
      You have freedom to copy and modify this GNU Manual, like GNU
      software.  Copies published by the Free Software Foundation raise
      funds for GNU development.
+@c man end
 @end ifinfo
 
 @titlepage