},
- makeSrcFile: function(path, srcDir, name) {
+ makeSrcFile: function(path, srcDir, name)
+ {
if (Options.outputSource) return;
return; // not done?
name = name.replace(/\:/g, "_");
}
- var src = {
- path: path,
- name:name,
- charset: IO.encoding,
- hilited: ""
- };
-
- if (src.hilited) {
- IO.saveFile(srcDir, name+publish.conf.ext, src.hilited);
- }
+
}