--- haxml/debian/patches/00list~	2008-05-27 00:06:19.000000000 +0000
+++ haxml/debian/patches/00list	2008-06-01 14:39:04.000000000 +0000
@@ -6,4 +6,3 @@
 05_no-harch-cmd
 06_hcflags-support
 08_update-licences
-09_link-to-other-docs
--- haxml/Makefile~	2008-06-01 15:28:11.000000000 +0000
+++ haxml/Makefile	2008-06-01 15:39:32.000000000 +0000
@@ -67,13 +67,8 @@
 	cd obj/nhc98; $(MAKE) HC=nhc98 install-filesonly-nhc98
 install-filesonly-hugs: install-hugs
 haddock:
-	#do cpp -P -traditional -D__NHC__ $$file >$$file.uncpp;
-	for file in $(SRCS); \
-		do cpphs --noline -D__NHC__ $$file >$$file.uncpp; \
-		done
 	-mkdir docs/HaXml
-	haddock -h -t HaXml -o docs/HaXml $(patsubst %, %.uncpp, $(SRCS))
-	rm $(patsubst %, %.uncpp, $(SRCS))
+	haddock --optghc=-cpp -h -t HaXml -o docs/HaXml $(SRCS)
 
 # packaging a distribution