chiark / gitweb /
Script to generate -man documentation for expansions from comments in