#! /bin/csh -f
#
cp $1 /tmp/$1
cat /tmp/$1 | sed \
-e 's/\/\/\(.*\)$/\/\* \1 \*\//g' \
-e 's/\*\/ \*\//\*\//g' \
-e 's/\/\* \/\*/\/\*/g' \
 > $1
exit
