this.symbolSet = Parser.symbols;
// this currently uses the concept of publish.js...
-
+
this.publish();
var src = ''
try {
- Options.LOG.warn("reading : " + srcFile);
+ Options.LOG.inform("reading : " + srcFile);
src = File.read(srcFile);
}
catch(e) {
Options.LOG.warn("Can't read source file '"+srcFile+"': "+e.message);
continue;
}
- Options.LOG.warn("read : " + srcFile);
+
var txs = new TextStream(src);
var tr = new TokenReader({ keepComments : true, keepWhite : true });
publish : function() {
-
+ Options.LOG.inform("Publishing");
// link!!!