Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Factory
jedit
jedit-doclet.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File jedit-doclet.patch of Package jedit
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 @@ -862,8 +862,7 @@ sourcepath="${basedir}" destdir="${classes.dir}/javadoc/api" packagenames="org.*" - doclet="doclet.GenerateTocXML" - docletpath="${classes.dir}/javadoc" + additionalparam="-notimestamp" version="true" use="true" author="true"
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
