X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=makefile;h=a2327ddde0be85c268a774f7a0825cda75e9e2a0;hb=ea83c59276daa4b9db5a50de0aaa564130a93d40;hp=608606c6ffcf7f7c7c3a7445f24231c5cd288d18;hpb=77bff3e2abda103471ab881bad81db67003582ff;p=dead%2Fhtsn-import.git

diff --git a/makefile b/makefile
index 608606c..a2327dd 100644
--- a/makefile
+++ b/makefile
@@ -9,15 +9,17 @@ $(BIN): $(PN).cabal $(SRCS)
 	runghc Setup.hs build
 
 profile: $(PN).cabal $(SRCS)
-	runghc Setup.hs configure --user --enable-executable-profiling --prefix=/
+	runghc Setup.hs configure --user \
+                                  --enable-executable-profiling \
+                                  --prefix=/
 	runghc Setup.hs build
 
 doc: $(PN).cabal $(SRCS)
 	runghc Setup.hs configure --user --prefix=/
-	runghc Setup.hs hscolour --executables
-	runghc Setup.hs haddock --internal    \
-				--executables \
-				--hyperlink-source
+	runghc Setup.hs hscolour --all
+	runghc Setup.hs haddock --all    \
+				--hyperlink-source \
+                                --haddock-options="--ignore-all-exports"
 
 #
 # Testing.
@@ -52,6 +54,9 @@ clean:
 	rm -f *.xml
 	rm -rf tmp
 	rm -f schemagen/*.dtd
+	find ./ -name '*.prof' -delete
+	find ./ -name '*.o' -delete
+	find ./ -name '*.hi' -delete
 
 
 #
@@ -68,6 +73,6 @@ DTDS := $(addsuffix .dtd, $(XMLTYPES))
 # $<. Its use is legitimate since we do sort of depend on the
 # directory existing.
 $(DTDS): %.dtd: % $(XMLS)
-	learn $</*.xml > $@
+	schema-learn $</*.xml > $@
 
 schema: $(DTDS)