|
From: SourceForge.net <no...@so...> - 2009-01-10 20:07:18
|
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 |