From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2000 15:10:02 +0000 (+0000)
Subject: http_getter.pl is now created executable
X-Git-Tag: nogzip~33
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=46a7e4ab3642ec3135444026fb3410b4cd4c435a;p=helm.git

http_getter.pl is now created executable
---

diff --git a/helm/http_getter/configure.in b/helm/http_getter/configure.in
index 27dc473ab..c1c14a8b4 100644
--- a/helm/http_getter/configure.in
+++ b/helm/http_getter/configure.in
@@ -43,4 +43,4 @@ AC_SUBST(PERL_BINARY)
 AC_OUTPUT([
  Makefile
  http_getter.pl
-])
+],chmod +x http_getter.pl)