Commit 0ebe82b4 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

make-tree-html: Section numbering, non-numerical section IDs

parent fd04b8fb