var pretty = imports.PrettyPrint.toPretty(File.read(sourceFile));
- File.write(Options.target+"/symbols/src" + name,
+ File.write(Options.target+"/symbols/src/" + name,
'<html><head>' +
'<title>' + sourceFile + '</title>' +
'<link rel="stylesheet" type="text/css" href="../../../highlight-js.css"/>' +