#! /bin/csh -f
#  To build sml-tags, run this script while connected to the src directory.
#  It is assumed that sml-noshare is in the src directory.  If not, make
#  a temporary link to it there.

sml-noshare < ../tools/gnutags/export.sml
