chiark / gitweb /
add documentation for the define command