chiark / gitweb /
fix INSTALL_PROGRAM vs. INSTALL_SCRIPT