chiark / gitweb /
script to make the manual TOC into a substvar for debian/control