# sed script for additional DJGPP specific editing of Makefile.


# Replace path separator.
/^VPATH[ 	]*=[ 	]*\.:\./ s/:/;/

/^PATH_SEPARATOR[ 	]*=/ s/:$/;/

/^install_sh[ 	]*=[ 	]*/ c\
install_sh = \$(INSTALL)