JSDOC/BuildDocs.js

[gnome.introspection-doc-generator] / JSDOC / BuildDocs.js
diff --git a/JSDOC/BuildDocs.js b/JSDOC/BuildDocs.js

index 902360b..3c79f7d 100644 (file)
--- a/JSDOC/BuildDocs.js
+++ b/JSDOC/BuildDocs.js
@@ -356,7 +356,7 @@ BuildDocs = {
          name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
          name = name.replace(/\:/g, "_"); //??
          
-        
+        Options.LOG.inform("Write Source file :" + sourceFile);
          var pretty = imports.PrettyPrint.toPretty(File.read(sourceFile));
          File.write(Options.target+"/symbols/src/" + name, 
              '<html><head>' +