# /usr/bin/bash
# This copy of this program is on a branch
#
#
if [ ! -r $1 ] ; then
    echo "File not found: $1"
    exit 1
fi
set -x

OLD=$1
NEW=$1.new
TMP=$1._tmp

indent $OLD -o $TMP
sed < $TMP > $NEW -e 's/(  );/();/g' -e 's/(  )/()/g' \
                  -e 's/^\( \+\)( void ) /\1/g' -e 's/^\( \+\)\*\* /\1*  /g'
rm $TMP