#!/bin/csh
#++++++++++++++++
#.IDENTIFICATION getref
#.LANGUAGE       Cshell
#.AUTHOR         CDS Catalogues Service
#.ENVIRONMENT    
#.KEYWORDS       
#.VERSION  1.0   14-Apr-1998: Creation
#.PURPOSE        Get the references
#.COMMENTS       Arguments = set of references
#----------------

echo "\begin{PRE}"
#echo "Arguments: '$*'"
set argv = `echo $*:q | tr , ' '`
while ($#argv > 0)
    gawk "/^ *\[$1\]/"'{k=1}/^ *\[/{if (k>1) exit} \
     {if (k==0) next; k++; if(k>=1) print}' ReadMe # >> $tt
    shift
end
#echo "\end{PRE}"