anolis HTML document post-processor Anolis is an HTML document post-processor that takes an input HTML file, adds section numbers, a table of contents, and cross-references, and writes the output to another file. http://anolis.gsnedders.com Geoffrey Sneddon 1a7e5d851741e70ad7eb2d3de16f211643bf0f18 1.0