/[classpath]/gjdoc/src/gnu/classpath/tools/doclets/htmldoclet/ExternalDocSet.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/doclets/htmldoclet/ExternalDocSet.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.4 by julian, Tue Oct 25 16:20:44 2005 UTC revision 1.5 by julian, Tue Oct 25 16:23:59 2005 UTC
# Line 69  public class ExternalDocSet Line 69  public class ExternalDocSet
69    
70        URL packageListDirURL;        URL packageListDirURL;
71        if (null != packageListDir) {        if (null != packageListDir) {
72             if (!packageListDir.endsWith("/")) {
73               packageListDir += "/";
74             }
75           packageListDirURL = new URL(new File(System.getProperty("user.dir")).toURL(),           packageListDirURL = new URL(new File(System.getProperty("user.dir")).toURL(),
76                                       packageListDir);                                       packageListDir);
77        }        }

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26