tools/gen_term_table.py script

Generate the table of all terms for the sphinx documentation.

gen_term_table.create_parser(slist, current_section)[source]
gen_term_table.format_next(text, new_text, pos, can_newline, width, ispaces)[source]
gen_term_table.gen_term_table(app)[source]
gen_term_table.get_examples(table)[source]
gen_term_table.main()[source]
gen_term_table.set_section(sec)[source]
gen_term_table.setup(app)[source]
gen_term_table.to_list(slist, sec)[source]
gen_term_table.typeset(filename)[source]

Utility function called by sphinx.

gen_term_table.typeset_examples(term_class, term_use)[source]
gen_term_table.typeset_term_syntax(term_class)[source]
gen_term_table.typeset_term_table(fd, keys, table, title)[source]

Terms are sorted by name without the d*_ prefix.

gen_term_table.typeset_term_tables(fd, table)[source]

Generate tables: basic, sensitivity, special.

gen_term_table.typeset_to_indent(txt, indent0, indent, width)[source]