#! /bin/sh
#
# Last modified on Fri Sep 17 14:30:08 PDT 1993 by kalsow
#

MAKEFILE=$1 ; shift

sed -f M3EXPORT/m3make.sed < $MAKEFILE > tmp
mv tmp $MAKEFILE
