fixed makefile

From: tassi <tassi@c2b2084f-9a08-0410-b176-e24b037a169a>

diff --git a/helm/software/components/tptp_grafite/Makefile b/helm/software/components/tptp_grafite/Makefile
index 9eac2dd05f4bc0744059968f2146f435d2585012..e452480d8430ec07a2d6b919628c563e49f55e9e 100644 (file)
--- a/helm/software/components/tptp_grafite/Makefile
+++ b/helm/software/components/tptp_grafite/Makefile
@@ -65,6 +65,8 @@ parse-%:
        done
 
 thf:
+       rm -rf THF
+       mkdir THF
        for x in `cat thf_problems`; do\
                echo $$x;\
                ./mainTHF -tptppath $(TPTPDIR) $$x.p > THF/$$x.ma;\