Doc Tools

doctools/cmark.py                               498
doctools/doc_html.py                            106
doctools/html_head.py                            98
doctools/html_lib.py                             48
doctools/micro_syntax.cc                      1,122
doctools/micro_syntax.re2c.h                    688
doctools/oils_doc.py                            671
doctools/ref_check.py                           182
doctools/spelling.py                            141
doctools/split_doc.py                           157
doctools/src_tree.py                            470
doctools/util.py                                 11
lazylex/html.py                                 406

4,598 lines in 14 files