Bugs item #2498253, was opened at 2009-01-10 20:07
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2498253&group_id=44253
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Javadoc integration
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Javadoc deletes directories
Initial Comment:
After using Javadoc, exiting DrJava deletes the documentation directory. This could be critical if one chooses a different directory for the documentation.
Fortunately, I have a recent backup.
DrJava build time: 20080901-1941
DrJava revision:4668
java.vendor: Sun Microsystems Inc.
java.version: 1.6.0_07
os.name: Linux
os.version: 2.6.27.9-159.fc10.i686
Tom Bylander
byl...@cs...
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2498253&group_id=44253
|
