#!/bin/csh -f

./makeproto *.c > newproto.h
if { diff newproto.h prototypes.h > /dev/null } then
	rm newproto.h
	echo "prototypes.h: No change."
else
	mv newproto.h prototypes.h
	echo "prototypes.h: Updated."
endif
exit 0