# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 797970769 0
# Node ID bf76e6e6a48cb94254f7d731e9842f18a2307e19
# Parent  2402288b84100810eded3cb239d9062a1344c23f
(really-lwlib, really-oldXMenu): Mark as .PHONY.

diff -r 2402288b8410 -r bf76e6e6a48c src/Makefile.in
--- a/src/Makefile.in	Sat Apr 15 18:27:51 1995 +0000
+++ b/src/Makefile.in	Sat Apr 15 18:32:49 1995 +0000
@@ -745,6 +745,7 @@
     "C_SWITCH_MACHINE=$(C_SWITCH_MACHINE_1)" \
     "C_SWITCH_SYSTEM=$(C_SWITCH_SYSTEM_1)"
 	@true  /* make -t should not create really-lwlib.  */
+.PHONY: really-lwlib
 #else /* not USE_X_TOOLKIT */
 #ifdef HAVE_X_MENU
 $(OLDXMENU): really-oldXMenu
@@ -767,6 +768,7 @@
     "C_SWITCH_MACHINE=$(C_SWITCH_MACHINE_1)" \
     "C_SWITCH_SYSTEM=$(C_SWITCH_SYSTEM_1)"
 	@true  /* make -t should not create really-oldXMenu.  */
+.PHONY: really-oldXMenu
 #endif /* HAVE_X_MENU */
 #endif /* not USE_X_TOOLKIT */
 #endif /* HAVE_X11 */