ship /usr/news/proof /usr/jerq/bin/proof /usr/jerq/mbin/proof.m /usr/jerq/lib/proof.j /usr/jerq/Font
