chiark / gitweb /
Makefile for manual page installation. Subtle and complicated.