>extralib.crc
/usr/bin/brik -Gbf Files >extralib.crc
/usr/bin/tar cf - install.info extralib.crc \
 usr|/usr/bin/gzip -9 >../extralib.tgz
fixup ../extralib.tgz
