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 1583602..18cf2fe 100644 (file)
@@ -75,3 +75,5 @@ README:                       README.html
 
 TAGS info dvi:
        # do nothing
+
+.PHONY: install #people with case-insensitive filesystems lose otherwise!
index 055bb3a..ff0c3bc 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.
 
  --