Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#38954 - [jedit] Missing documentation files

Attached to Project: Community Packages
Opened by Ognjen Maric (oggy) - Tuesday, 18 February 2014, 14:42 GMT
Last edited by Alexander F. Rødseth (xyproto) - Monday, 24 February 2014, 13:59 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Alexander F. Rødseth (xyproto)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:

The documentation for the API is incomplete, i.e. some files are missing in the package. In the list of files, it seems that everything which comes after

/usr/share/java/jedit/doc/api/org/gjt/sp/jedit/gui/class-use/DockableWindowManager.html

in lexicographic order (i.e. some files in the "gui" directories and all directories after "gui") is missing. These files are present in the official .deb package.

Additional info:
* version 5.1.0-3
This task depends upon

Closed by  Alexander F. Rødseth (xyproto)
Monday, 24 February 2014, 13:59 GMT
Reason for closing:  Fixed
Comment by Alexander F. Rødseth (xyproto) - Thursday, 20 February 2014, 23:26 GMT
Hi,

Thanks for reporting. I'll look into this.
Comment by Alexander F. Rødseth (xyproto) - Monday, 24 February 2014, 13:59 GMT
Installing the documentation manually by extracting the files from the jar instead off using the installer provided by jedit. This added a few extra files to the documentation included in the package.

The updated package will appear in [community] shortly.

Loading...