[Preprocessed files are removed after the documentation has been built.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050526105051] {
hunk ./Makefile 34
+# After building the documentation we remove the generated files. We
+# do not want them included in the tar balls generated by darcs.
hunk ./Makefile 43
+	-rm -f $(filter Test/%,$^)
}