read_index_sgml_file


Description:

public void read_index_sgml_file (string filename, string? index_sgml_online, ErrorReporter reporter)