# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 865453517 0
# Node ID 2628fada589ed735144fafe7ee6aca2a3a0d4ebf
# Parent  f16cf00a2f427afc33d33e156ca6dcfb4650d2ea
(stamp-oldxmenu): Always define this one way or another.

diff -r f16cf00a2f42 -r 2628fada589e src/Makefile.in
--- a/src/Makefile.in	Wed Jun 04 19:06:35 1997 +0000
+++ b/src/Makefile.in	Wed Jun 04 19:45:17 1997 +0000
@@ -913,7 +913,12 @@
 	@true  /* make -t should not create really-oldXMenu.  */
 .PHONY: really-oldXMenu
 #endif /* not USE_X_TOOLKIT */
-#endif /* HAVE_X_WINDOWS && HAVE_X11 && HAVE_MENUS */
+#else /* not (HAVE_X_WINDOWS && HAVE_X11 && HAVE_MENUS) */
+
+/* We don't really need this, but satisfy the dependency.  */
+stamp-oldxmenu:
+	touch stamp-oldxmenu
+#endif /* not (HAVE_X_WINDOWS && HAVE_X11 && HAVE_MENUS) */
 
 ../config.status:: paths.in
 	@echo "The file paths.h needs to be set up from paths.in."