chiark / gitweb /
Updated Makefile so that uninstall works properly