Options.LOG.inform("JsDoc Toolkit main() running at "+new Date()+".");
- Options.LOG.inform("With options: ");
+ //Options.LOG.inform("With options: ");
if (!File.isDirectory(Options.cacheDirectory)) {
File.mkdir(Options.cacheDirectory)
{
- if (!name) {
- name = sourceFile.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
- name = name.replace(/\:/g, "_");
- }
+ name = sourceFile.substring(Options.baseDir.length);
+ name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
+ name = name.replace(/\:/g, "_"); //??
+
var pretty = imports.PrettyPrint.toPretty(File.read(sourceFile));
File.write(Options.target+"/symbols/src" + prettyfile,