#
/bin/mv proto.h proto.h~
echo "/* proto.h made "   >  proto.h
date                           >> proto.h
echo "*/"                      >> proto.h
foreach i ($argv)
echo ""                        >> proto.h
echo "/* $i */"                >> proto.h
echo ""                        >> proto.h
awk -f prot_old.awk < $i | sed "s/(.*/();/" >> proto.h
end
