#! /bin/sh

if [ -x /bin/mktemp ]; then
	TEMP=`/bin/mktemp $1.$$.XXXXXX` || exit 1
else
	TEMP=$1.$$.`date +"%S"`
	umask 177
	touch $TEMP
fi

sed -f subst $1 > $TEMP

chmod +x $TEMP
touch -r $1 $TEMP
cp -p $TEMP $1
rm $TEMP