From f7ff131c9e9c714c335ce57cea2fdaddc14fc547 Mon Sep 17 00:00:00 2001 From: Alan Knowles Date: Tue, 6 Jul 2010 18:46:22 +0800 Subject: [PATCH 1/1] JSDOC/BuildDocs.js --- JSDOC/BuildDocs.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/JSDOC/BuildDocs.js b/JSDOC/BuildDocs.js index 85f33ac..ae3ecd1 100644 --- a/JSDOC/BuildDocs.js +++ b/JSDOC/BuildDocs.js @@ -357,7 +357,7 @@ BuildDocs = { name = name.replace(/\:/g, "_"); //?? - Options.LOG.inform("Write Source file :" + sourceFile); + Options.LOG.inform("Write Source file : " + Options.target+"/symbols/src/" + name); var pretty = imports.PrettyPrint.toPretty(File.read(sourceFile)); File.write(Options.target+"/symbols/src/" + name, '' + -- 2.39.2