]> gitweb.michael.orlitzky.com - dead/htsn-import.git/blobdiff - makefile
Add the newsxml DB schema PDF.
[dead/htsn-import.git] / makefile
index 608606c6ffcf7f7c7c3a7445f24231c5cd288d18..1a585c0d9b6cf308ca68432d02c434b872b86a14 100644 (file)
--- a/makefile
+++ b/makefile
@@ -9,7 +9,9 @@ $(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)
@@ -50,8 +52,11 @@ clean:
        runghc Setup.hs clean
        rm -f *.log
        rm -f *.xml
+       rm *.prof
        rm -rf tmp
        rm -f schemagen/*.dtd
+       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)