docs: function(dest, src) {
  		let destFilename = "";
  		if (src.endsWith(".controller.js")) {
  			destFilename = dest + src.replace(/\.controller\.js$/, "-dbg.controller.js");
  		} else if (src.endsWith(".js")) {
  			destFilename = dest + src.replace(/\.js$/, "-dbg.js");
  		} else {
  			destFilename = dest + src;
  		}
  		console.log(src + " ==>" + destFilename + "(dest = " + dest + ", src = " + src + ")");
  		return destFilename;
  	}