Clean a few more things created by configure
#-----------------------------------------------------------------------------
#-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.27 2005/03/02 09:57:41 simonmar Exp $
+# $Id: Makefile,v 1.28 2005/03/02 10:00:36 simonmar Exp $
SRC_DIST_FILES += configure
SRC_DIST_FILES += configure
-DIST_CLEAN_FILES += VERSION config.cache config.status ghc.spec
+# Clean everything created by configure:
+DIST_CLEAN_FILES += VERSION config.cache config.status ghc.spec \
+ mk/version.mk mk/config.mk docs/users_guide/ug-book.xml
extraclean::
$(RM) -rf autom4te.cache
extraclean::
$(RM) -rf autom4te.cache