var ix_template = new Template(__script_path__ + '/docs/index.html');
Gio.simple_write(outputdir + '/index.html', ix_template.process(ns_idx));
var ix_template = new Template(__script_path__ + '/docs/index.html');
Gio.simple_write(outputdir + '/index.html', ix_template.process(ns_idx));