chiark / gitweb /
[PATCH] document the different Makefile config options that we have.