gjdoc and classpath sources

[Arnaud Vandyck]

----Security_Multipart(Tue_Aug__5_00:26:03_2003_805)--
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

debian/patches/05_classpath_in_source.dpatch

--- src/gnu/classpath/tools/gjdoc/Main.java.orig	2003-06-28 13:46:17.000000000 +0100
+++ src/gnu/classpath/tools/gjdoc/Main.java	2003-06-28 13:47:23.000000000 +0100
@@ -602,6 +602,9 @@
 
 	 if (option_sourcepath.size()==0) option_sourcepath.add(new File("."));
 
+	 // Debian - add classpath sources - they're always needed.
+	  option_sourcepath.add( new File( "/usr/share/gjdoc/classpath-source/" ) );
+
 	 //--- We have all information we need to start the doclet at this time
 
 	 rootDoc.setSourcePath(option_sourcepath);

Is this because of  that patch that you add 13Mb of  source code in your
package?! 

Well,  if gjdoc  needs classpath  sources  to run,  it's a  bug! ;)  The
correct  behavior is  to omit  links  to the  classes, not  to force  to
install the sources. 

If you  cannot avoid this,  I think you  should fill a  wishlist against
classpath to ask Jewel  to make a new package with the  sources in a jar
file (something like /usr/share/classpath/src.jar)

Cheers

-- Arnaud Vandyck, STE fi, ULg
   Formateur Cellule Programmation.

----Security_Multipart(Tue_Aug__5_00:26:03_2003_805)--
Content-Type: application/pgp-signature
Content-Transfer-Encoding: 7bit

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)

iD8DBQA/Lt184vzFZu62tMIRAiwoAJkB1FAjh8EPXth1e8i+Tcl8JkftZQCglXwo
uRytZVpUayvSjlJt0b4sROk=
=DuS+
-----END PGP SIGNATURE-----

----Security_Multipart(Tue_Aug__5_00:26:03_2003_805)----