]> gitweb.michael.orlitzky.com - dead/htsn-import.git/blobdiff - makefile
Update (or add) a bunch of documentation.
[dead/htsn-import.git] / makefile
index 608606c6ffcf7f7c7c3a7445f24231c5cd288d18..e15a4e462c1b516e2b62dd8feddad239a220b4ca 100644 (file)
--- a/makefile
+++ b/makefile
@@ -9,14 +9,15 @@ $(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 \
+       runghc Setup.hs hscolour --all
+       runghc Setup.hs haddock --all    \
                                --hyperlink-source
 
 #
@@ -52,6 +53,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 +72,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)