@@ -5,6 +5,7 @@

[adns] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 1583602ef59808372ca45e61ea6069e586856e26..18cf2fe75ea995b8dc6ece902e82bf112a1f5915 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -75,3 +75,5 @@ README:                       README.html
 
 TAGS info dvi:
        # do nothing
+
+.PHONY: install #people with case-insensitive filesystems lose otherwise!