Doc Tools

doctools/cmark.py                               568
doctools/doc_html.py                            106
doctools/fmt_check.py                            91
doctools/html_head.py                            99
doctools/html_lib.py                             51
doctools/micro_syntax.cc                      1,139
doctools/micro_syntax.re2c.h                    731
doctools/oils_doc.py                            668
doctools/ref_check.py                           182
doctools/spelling.py                            143
doctools/split_doc.py                           159
doctools/src_tree.py                            470
doctools/ul_table.py                            563
doctools/util.py                                 16
lazylex/html.py                               1,129

6,115 lines in 16 files