chiark / gitweb /
+ * Add .PHONY: install to Makefile, to help people with demented fs's.
authorian <ian>
Wed, 16 Mar 2005 21:09:56 +0000 (21:09 +0000)
committerian <ian>
Wed, 16 Mar 2005 21:09:56 +0000 (21:09 +0000)
@@ -5,6 +5,7 @@
+  * Add .PHONY: install to Makefile, to help people with demented fs's.

Makefile.in
changelog

index 1583602ef59808372ca45e61ea6069e586856e26..18cf2fe75ea995b8dc6ece902e82bf112a1f5915 100644 (file)
@@ -75,3 +75,5 @@ README:                       README.html
 
 TAGS info dvi:
        # do nothing
+
+.PHONY: install #people with case-insensitive filesystems lose otherwise!
index 055bb3a3b769701a901c2870541a2770a29d5c00..ff0c3bc9a7a806e34d73947a443f4b93e991a38c 100644 (file)
--- a/changelog
+++ b/changelog
@@ -5,6 +5,7 @@ adns (1.2); urgency=medium
   * Clarified GPL-vs-LGPL: a bit less hostile and a bit more mercenary.
   * Allow `;'-comments in resolv.conf (report from Colin Charles).    
   * Added a TODO list item.
+  * Add .PHONY: install to Makefile, to help people with demented fs's.
 
  --