#!/bin/csh -f
# makepub
# -------------------------------------------------------------------------
# Shell script to create a default "pub" script in the local directory.
# -------------------------------------------------------------------------
# Revision History:
# $Log$
# -------------------------------------------------------------------------

cat <<"EOF" > ./pub
#!/bin/csh -f
if (-e pre_pub) ./pre_pub
remotepub -auto
if (-e post_pub) ./post_pub
"EOF"

chmod u+x ./pub