RECENT POSTS

Mkcmd

May 26, 2018

Command-line parser and manual page generator

mkcmd lets us build a nifty command line option parser and some on-line documentation in a snap. It is a prerequisite for many of Kevin Braunsdorf’s tools.