chiark / gitweb /
Portability and doc fixes, including my own portability patches and some suggestions...