]> gitweb.michael.orlitzky.com - dead/htsn-import.git/blobdiff - makefile
Add docs for TSN.XML.Weather.
[dead/htsn-import.git] / makefile
index 608606c6ffcf7f7c7c3a7445f24231c5cd288d18..a2327ddde0be85c268a774f7a0825cda75e9e2a0 100644 (file)
--- 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)