/[classpath]/gjdoc/src/gnu/classpath/tools/doclets/xmldoclet/Driver.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/doclets/xmldoclet/Driver.java

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

revision 1.24 by julian, Sun Mar 9 23:30:07 2003 UTC revision 1.25 by julian, Sat Nov 20 15:48:12 2004 UTC
# Line 920  public class Driver { Line 920  public class Driver {
920                 xmlTargetDirectory = xmlTempDirectory;                 xmlTargetDirectory = xmlTempDirectory;
921              }              }
922    
923                // Create target directory if necessary
924    
925                if (!targetDirectory.exists()) {
926                   printNotice("Creating destination directory: \""
927                               + targetDirectory + "\"");
928                   if (!targetDirectory.mkdirs()) {
929                      printError("Failed to create destination directory \""
930                                 + targetDirectory + "\"");
931                      return false;
932                   }
933                }
934    
935              printNotice("Writing XML Index file...");              printNotice("Writing XML Index file...");
936    
937              // Assign output stream              // Assign output stream

Legend:
Removed from v.1.24  
changed lines
  Added in v.1.25

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