Patch for Cover Texts in Java manpages

[Joseph S. Myers]

The Java manpages didn't include the Cover Texts from the manuals.
Fixed thus.

Tested with "make info", "make generated-manpages" and "make dvi".
Applied to mainline and 3.3 branch.  This should probably also be
applied to the 3.2 branch; I don't now have a 3.2 branch CVS tree
checked out.

gcc/java:
2002-12-23  Joseph S. Myers  <jsm@polyomino.org.uk>

	* gcj.texi: Include Cover Texts in man page.

fastjar:
2002-12-23  Joseph S. Myers  <jsm@polyomino.org.uk>

	* fastjar.texi: Include Cover Texts in man page.

--- gcc/java/gcj.texi.orig	2002-12-22 22:54:06.000000000 +0000
+++ gcc/java/gcj.texi	2002-12-23 17:57:57.000000000 +0000
@@ -58,6 +58,8 @@
 @c man end
 @end ignore
 
+@c man begin COPYRIGHT
+
 (a) The FSF's Front-Cover Text is:
 
      A GNU Manual
@@ -67,6 +69,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
--- fastjar/fastjar.texi.orig	2002-12-22 17:49:08.000000000 +0000
+++ fastjar/fastjar.texi	2002-12-23 17:57:50.000000000 +0000
@@ -49,6 +49,8 @@
 @c man end
 @end ignore
 
+@c man begin COPYRIGHT
+
 (a) The FSF's Front-Cover Text is:
 
      A GNU Manual
@@ -58,6 +60,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

-- 
Joseph S. Myers
jsm28@cam.ac.uk