#! /bin/sh
# 
# This script updates the source files when building a core distribution
# The full format is:
# udcore full-file-name replacement-string
#
# It is intended that this is called by buildman; it is not user-friendly.
#
FILE=$1
#shift
RTEXT="@(#) $*"
# 
# If we could easily get the tail of the file name, we'd include it here
sed -e "s*%W% %G%*$RTEXT*g" $FILE > .tmp
mv .tmp $FILE
