File jedit-crosslink.patch of Package jedit
--- jEdit/build.xml~ 2004-08-07 23:57:03.000000000 -0400
+++ jEdit/build.xml 2005-02-06 02:17:48.075036766 -0500
@@ -174,16 +174,22 @@
<include name="doclet/GenerateTocXML.java"/>
</javac>
- <javadoc packagenames="bsh.*, com.*, gnu.*, org.*"
+ <javadoc packagenames="**"
sourcepath="."
classpath="."
destdir="doc/api"
- doctitle="jEdit API" />
+ doctitle="jEdit API">
+ <link href="${java.javadoc}"/>
+ <link href="${aelfred.javadoc}"/>
+ <link href="${asm.javadoc}"/>
+ <link href="${bsh2.javadoc}"/>
+ <link href="${gnu.regexp.javadoc}"/>
+ </javadoc>
<javadoc classpath="."
doclet="doclet.GenerateTocXML"
docletpath="."
- packagenames="bsh.*, com.*, gnu.*, org.*"
+ packagenames="**"
sourcepath="."/>
</target>