chiark / gitweb /
run_directory: fix typo in "make install"