#! /bin/csh 

# This shell script can be used to make a TAGS file.
# RTG - created Feb 6, 1993

if ((-e etc/makeTAGS) || (-e src/GNUmakefile)) then
  echo "Making a tags file"
  etags -T -d */*.h */*/*.h */*.c */*/*.c */*.lisp *akefile */*akefile */*akefile.std */*akefile.defs */*/*akefile
else
  echo "Must be run from the tca directory."
endif
