pkg://jedit-4.2-0.pre14.1jpp.src.rpm:1841458/jedit-crosslink.patch  info  downloads

--- build.xml~	2003-12-21 00:58:33.000000000 +0200
+++ build.xml	2004-05-04 21:29:04.000000000 +0300
@@ -191,7 +191,9 @@
 			sourcepath="."
 			classpath="."
 			destdir="doc/api"
-			doctitle="jEdit API" />
+			doctitle="jEdit API">
+			<link href="${j2se.api}"/>
+		</javadoc>
 
 		<javadoc classpath="."
 			doclet="doclet.GenerateTocXML"