From 51a86e50c5601f1b2beb3a91cc489ee099d3c2ea Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2000 10:20:48 +0000
Subject: [PATCH] http_getter moved in the http_getter repository

---
 helm/interface/Makefile | 3 ---
 1 file changed, 3 deletions(-)

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
-- 
2.39.2