tracing/third_party/gl-matrix/jsdoc-template/publish.js
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);
	}
}
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);
	}
}
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 ) ; } }
Turn a raw source file into a code-hilited page in the docs.
Turn a raw source file into a code - hilited page in the docs .