]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile.in
...
[helm.git] / helm / http_getter / Makefile.in
index 602c8d36208c353b3e208c50e1638682ca7fee0f..f4e6b592d144161cb9a4844aabd8916a5064d0f8 100644 (file)
@@ -11,13 +11,19 @@ installgetter:
        cp http_getter.pl $(INSTALL_DIR)/
 
 installcgi:
-       cp *.cgi $(CGI_DIR)/
+       for f in *.cgi; do \
+  if [ -f $$f ]; then \
+   cp -f $$f $(CGI_DIR)/; \
+  fi; \
+ done
 
 uninstallgetter:
        rm $(INSTALL_DIR)/http_getter.pl
 
 uninstallcgi:
-       for f in *.cgi; do rm -f $(CGI_DIR)/$$f; done
+       for f in *.cgi; do \
+  rm -f $(CGI_DIR)/$$f; \
+ done
 
 clean: