# pubindex csh script
if ($#argv == 0) then
echo 'Usage: pubindex bibliofile [...]'
echo ' first argument is the basename for indexes'
echo ' indexes will be called bibliofile.{ia,ib,ic}'
exit
endif
/usr/lib/refer/mkey $* | /usr/lib/refer/inv X$1
mv X$1.ia $1.ia
mv X$1.ib $1.ib
mv X$1.ic $1.ic