2 files changed, 10 insertions, 2 deletions

diff --git a/oldXMenu/ChangeLog b/oldXMenu/ChangeLog
index 8f2951700e8..21acbe83053 100644
--- a/oldXMenu/ChangeLog
+++ b/oldXMenu/ChangeLog
@@ -1,3 +1,9 @@
+2013-09-04  Paul Eggert  <eggert@cs.ucla.edu>
+
+        Makefile improvements.
+        * Makefile.in (all, tags): Don't use double-colon rules, as they
+        are not portable according to POSIX.  Mark as phony.
+
 2012-12-04  Paul Eggert  <eggert@cs.ucla.edu>
 
         Include <config.h> uniformly in oldXMenu sources.
diff --git a/oldXMenu/Makefile.in b/oldXMenu/Makefile.in
index b08e6649cbd..394bfb3ab50 100644
--- a/oldXMenu/Makefile.in
+++ b/oldXMenu/Makefile.in
@@ -85,7 +85,8 @@ OBJS =  Activate.o \
         SetSel.o \
       XDelAssoc.o XLookAssoc.o XCrAssoc.o XDestAssoc.o XMakeAssoc.o
 
-all:: libXMenu11.a
+all: libXMenu11.a
+.PHONY: all
 
 ALL_CFLAGS=$(C_SWITCH_SYSTEM) $(C_SWITCH_MACHINE) \
   $(C_SWITCH_X_SITE) \
@@ -139,5 +140,6 @@ distclean: clean
         rm -f Makefile
 maintainer-clean: distclean
 
-tags::
+tags:
         $(TAGS) -t *.[ch]
+.PHONY: tags