2019-11-10 12:41:46 +00:00
|
|
|
diff -urEbwB jEdit/build.xml jEdit.new/build.xml
|
|
|
|
|
--- jEdit/build.xml 2018-04-09 01:59:23.000000000 +0200
|
|
|
|
|
+++ jEdit.new/build.xml 2019-11-10 12:28:16.880014435 +0100
|
2024-04-19 04:23:06 +00:00
|
|
|
@@ -862,8 +862,7 @@
|
2019-11-10 12:41:46 +00:00
|
|
|
sourcepath="${basedir}"
|
|
|
|
|
destdir="${classes.dir}/javadoc/api"
|
|
|
|
|
packagenames="org.*"
|
|
|
|
|
- doclet="doclet.GenerateTocXML"
|
|
|
|
|
- docletpath="${classes.dir}/javadoc"
|
2024-04-19 04:23:06 +00:00
|
|
|
+ additionalparam="-notimestamp"
|
2019-11-10 12:41:46 +00:00
|
|
|
version="true"
|
|
|
|
|
use="true"
|
|
|
|
|
author="true"
|
