#	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 $1X
mv $1X.ia $1.ia
mv $1X.ib $1.ib
mv $1X.ic $1.ic