JSDOC/PrettyPrint.js
[gnome.introspection-doc-generator] / JSDOC / PrettyPrint.js
index a0d138e..dd456d7 100644 (file)
@@ -19,7 +19,7 @@ function  escapeHTML() {
 function toPretty(str)
 {
     
-    var txs = new TextStream(File.read(str));
+    var txs = new TextStream(str);
     var tr = TokenReader({ keepComments : true, keepWhite : true });
     var toks = tr.tokenize(txs)