1.1 --- a/src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlDocWriter.java Tue Jan 20 17:49:49 2009 +0000
1.2 +++ b/src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlDocWriter.java Tue Jan 20 15:17:45 2009 -0800
1.3 @@ -25,12 +25,11 @@
1.4
1.5 package com.sun.tools.doclets.formats.html.markup;
1.6
1.7 -import com.sun.tools.doclets.internal.toolkit.*;
1.8 +import java.io.*;
1.9 +import java.util.*;
1.10
1.11 import com.sun.javadoc.*;
1.12 -import java.io.*;
1.13 -import java.util.*;
1.14 -import com.sun.tools.doclets.internal.toolkit.util.*;
1.15 +import com.sun.tools.doclets.internal.toolkit.*;
1.16
1.17
1.18 /**
1.19 @@ -56,8 +55,9 @@
1.20 super(configuration,
1.21 null, configuration.destDirName + filename,
1.22 configuration.docencoding);
1.23 + // use File to normalize file separators
1.24 configuration.message.notice("doclet.Generating_0",
1.25 - configuration.destDirName + filename);
1.26 + new File(configuration.destDirName, filename));
1.27 }
1.28
1.29 public HtmlDocWriter(Configuration configuration,
1.30 @@ -65,10 +65,10 @@
1.31 super(configuration,
1.32 configuration.destDirName + path, filename,
1.33 configuration.docencoding);
1.34 + // use File to normalize file separators
1.35 configuration.message.notice("doclet.Generating_0",
1.36 - configuration.destDirName +
1.37 - ((path.length() > 0)?
1.38 - path + File.separator: "") + filename);
1.39 + new File(configuration.destDirName,
1.40 + ((path.length() > 0)? path + File.separator: "") + filename));
1.41 }
1.42
1.43 /**
