// this currently uses the concept of publish.js...
+ if (PackerRun.singleton().dump_tree) {
+ var generator = new Json.Generator ();
+ var root = new Json.Node(Json.NodeType.OBJECT);
+ root.init_object(jsonAll);
+ generator.set_root (root);
+ generator.pretty= true;
+ generator.indent = 2;
+ GLib.warning("writing JSON: %s", PackerRun.singleton().opt_doc_target+"/json/roodata.json");
+
+
+ this.writeJson(generator, null);
+ exit;
+ }
+ size_t l;
+ //GLib.debug("JSON: %s", generator.to_data(out l));
+
+
+
+
this.publish();
private string[]? opt_files = null;
[CCode (array_length = false, array_null_terminated = true)]
private string[]? opt_files_from = null;
-
+
public bool opt_debug = false;
flags = 0,
arg = OptionArg.STRING,
arg_data = &opt_doc_target,
- description = "Target location for documetnation",
+ description = "Target location for documentation",
arg_description = null
},