Doc Tools

doctools/cmark.py                               385
doctools/doc_html.py                            107
doctools/html_head.py                            98
doctools/html_lib.py                             43
doctools/micro_syntax.cc                      1,122
doctools/micro_syntax.re2c.h                    688
doctools/oils_doc.py                            640
doctools/ref_check.py                           184
doctools/spelling.py                            138
doctools/split_doc.py                           151
doctools/src_tree.py                            471
doctools/util.py                                 13
lazylex/html.py                                 416

4,456 lines in 14 files