Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 97014 - dev-java/javacc doesn't install javadocs
Summary: dev-java/javacc doesn't install javadocs
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Other
: High enhancement (vote)
Assignee: Java team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-06-24 21:49 UTC by Josh Nichols (RETIRED)
Modified: 2005-06-29 12:20 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
javacc-3.2-r3.patch (javacc-3.2-r3.patch,1.10 KB, patch)
2005-06-24 21:52 UTC, Josh Nichols (RETIRED) 		Details | Diff
patch for javacc's build.xml (javacc-3.2-javadoc.patch,3.60 KB, patch)
2005-06-24 21:54 UTC, Josh Nichols (RETIRED) 		Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Josh Nichols (RETIRED) gentoo-dev 2005-06-24 21:49:26 UTC 
USE=doc doesn't install javadocs for javacc. Upon further investigation, it seems the package's build.xml doesn't have a target for it.
Comment 1 Josh Nichols (RETIRED) gentoo-dev 2005-06-24 21:52:00 UTC 
Created attachment 61891 [details, diff]
javacc-3.2-r3.patch

* Applies a patch to the build.xml
* Adds javadoc target to ${antflags} when appropriate
* Installs javadocs when appropriate

I'm not sure if this would be worthy of a revision bump or not.
Comment 2 Josh Nichols (RETIRED) gentoo-dev 2005-06-24 21:54:19 UTC 
Created attachment 61892 [details, diff]
patch for javacc's build.xml

Simply adds a javadoc target. The whole script could use some refactoring, but
that can be saved for another time.

Also, this should probably be sent upstream.
Comment 3 Thomas Matthijs (RETIRED) gentoo-dev 2005-06-29 12:20:30 UTC 
applied thanks