metadata = new GirMetaData (gir_comment.file.relative_path, _settings.metadata_directories, _reporter);
if (metadata.index_sgml != null) {
- id_registrar.read_index_sgml_file (metadata.index_sgml, _reporter);
+ id_registrar.read_index_sgml_file (metadata.index_sgml, metadata.index_sgml_online, _reporter);
}
this.metadata.set (gir_comment.file, metadata);
public bool is_docbook { private set; get; default = false; }
public string index_sgml { private set; get; default = null; }
-
+ public string index_sgml_online { private set; get; default = null; }
/**
* Used to manipulate paths to resources inside gir-files
this.index_sgml = key_file.get_string ("General", "index_sgml");
break;
+ case "index_sgml_online":
+ this.index_sgml_online = key_file.get_string ("General", "index_sgml_online");
+ break;
+
default:
reporter.simple_warning ("%s: warning: Unknown key 'General.%s'", metadata_path, key);
break;