// this stuff works...
- //print(sourceFile);
+ print("SF: " + sourceFile);
var name = sourceFile; //.substring(Options.baseDir.length+1);
//print(name);
name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
name = name.replace(/\:/g, "_"); //??
Options.LOG.inform("Write Source file : " + Options.target+"/symbols/src/" + name);
- var pretty = imports.PrettyPrint.toPretty(File.read(sourceFile));
+ var pretty = imports.PrettyPrint.toPretty(File.read(Options.baseDir + '/' + sourceFile));
File.write(Options.target+"/symbols/src/" + name,
'<html><head>' +
'<title>' + sourceFile + '</title>' +