[Added a dist target, used by darcs dist.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050526114809
 Moved removal of processed files to this target, which also removes
 the .boring file.
] {
hunk ./Makefile 27
+FILES_TO_BE_EXCLUDED = .boring
+
hunk ./Makefile 46
-	-rm -f $(filter Test/%,$^)
+
+# Target used by darcs dist.
+# After building the documentation we remove the generated files. We
+# do not want them included in the tar ball generated by darcs.
+# We also remove some other files.
+dist: $(DOCDIR)
+	-rm $(addprefix Test/,$(EXPOSED_SOURCES:=$(CPPHS_PROCESSED_SUFFIX)))
+	-rm $(FILES_TO_BE_EXCLUDED)
changepref predist
make docs
make dist
}