{
var name = this.srcFileRelName(sourceFile);
name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
- return name.replace(/\:/g, "_"); //??
+ return name.replace(/\:/g, "_") + '.html'; //??;
},
File.write(Options.target+"/symbols/src/" + name,
'<html><head>' +
'<title>' + sourceFile + '</title>' +
- '<link rel="stylesheet" type="text/css" href="../../../highlight-js.css"/>' +
+ '<link rel="stylesheet" type="text/css" href="../../css/highlight-js.css"/>' +
'</head><body class="highlightpage">' +
pretty +
'</body></html>');