EXTRA_DIST = \ config.bat \ config.sh \ djgpp.inc \ dumbask.c \ Makefile.inc \ mingw.inc \ unix.inc