code: function makeSrcFile(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 (defined(JSDOC.PluginManager)) {
  		JSDOC.PluginManager.run("onPublishSrc", src);
  	}
  
  	if (src.hilited) {
  		IO.saveFile(srcDir, name+publish.conf.ext, src.hilited);
  	}
  }
docs: Turn a raw source file into a code-hilited page in the docs.