# stdout is normally config.h
*) echo "Usage: mungeconf sysfile distfile" >&2 ; exit 2 ;;
sed '/^#/d; /^MAKE_*/d' $1 |
# strip comments and Makefile stuff
sed '1s:.*:s~__SYSTEM__~&~:
2,$s:^\([^ ]*\)[ ].*:s~^/\\* #define[ ]*\1.*~#define &~:' >sedscr
echo '/* anything that follows is for system-specific short-term kludges */'
grep '^#define' $1 # for system-specific short-term kludges