for (var i = 0, l = files.length; i < l; i++) {
var file = files[i];
- var srcDir = publish.conf.outDir + "symbols/src/";
+ var srcDir = Options.target + "/symbols/src/";
makeSrcFile(file, srcDir);
}
}
+ makeSrcFile: function(path, srcDir, name) {
+ if (JSDOC.opt.s) return;
+
+ if (!name) {
+ name = path.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
+ name = name.replace(/\:/g, "_");
+ }
+
+ var src = {path: path, name:name, charset: IO.encoding, hilited: ""};
+
+ if (JSDOC.hasOwnProperty('PluginManager')) {
+ JSDOC.PluginManager.run("onPublishSrc", src);
+ }
+ if (src.hilited) {
+ IO.saveFile(srcDir, name+publish.conf.ext, src.hilited);
+ }
+ }
};