chiark / gitweb /
Re-run mkauto.sh from within makedist.sh.