X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhttp_getter%2FMakefile.in;h=ef76f950b1ec6a0ed66f4110a3fb013f96b5378c;hb=0772a856cc336f4cbe362f3765b321dcbc129d64;hp=f969fd7a11a56d0991fafa420340c0cb48684032;hpb=1e50be8cda017baad324e20e5007df13f1c0fe04;p=helm.git

diff --git a/helm/http_getter/Makefile.in b/helm/http_getter/Makefile.in
index f969fd7a1..ef76f950b 100644
--- a/helm/http_getter/Makefile.in
+++ b/helm/http_getter/Makefile.in
@@ -1,12 +1,10 @@
-HELM_DTDS_DIR=@HELM_DTDS_DIR@
-HELM_STYLES_DIR=@HELM_STYLES_DIR@
+HELM_BIN_DIR=@HELM_BIN_DIR@
 
 install:
-	mkdir -p $(HELM_STYLES_DIR)
-	cp dtd/* $(HELM_DTDS_DIR)
-	cp style/*.xsl $(HELM_STYLES_DIR)
+	cp http_getter.pl $(HELM_BIN_DIR)
 
 distclean:
-	rm -f Makefile configure config.log config.cache config.status
+	rm -f Makefile configure config.log config.cache config.status \
+         http_getter.pl
 
 .PHONY: install distclean