var pretty = PrettyPrint.toPretty(File.read(sourceFile));
File.write(Options.target+"/symbols/src" + prettyfile,
'<html><head>' +
- '<title>' + files[i].substr(spath.length+1) + '</title>' +
+ '<title>' + sourceFile + '</title>' +
'<link rel="stylesheet" type="text/css" href="../../../css/highlight-js.css"/>' +
'</head><body class="highlightpage">' +
pretty +