From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2000 10:20:48 +0000 (+0000)
Subject: http_getter moved in the http_getter repository
X-Git-Tag: nogzip~168
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=51a86e50c5601f1b2beb3a91cc489ee099d3c2ea;p=helm.git

http_getter moved in the http_getter repository
---

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index ef5068524..942b0ca65 100644
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -199,7 +199,4 @@ start-xaland3:
            $(COQV)/examples/style/theory_content.xsl \
            $(COQV)/examples/style/theory_pres.xsl
 
-start-http-getter:
-	http_getter/http_getter.pl
-
 include .depend