chiark / gitweb /
Create a configuration header file to tidy up command lines.