diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 11ff13eef26..547421a29a6 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -288,8 +288,8 @@ src/Makefile: ${srcdir}/src/Makefile.in Makefile | |||
| 288 | 288 | ||
| 289 | oldXMenu/Makefile: ${srcdir}/oldXMenu/Makefile.in Makefile | 289 | oldXMenu/Makefile: ${srcdir}/oldXMenu/Makefile.in Makefile |
| 290 | rm -f oldXMenu/Makefile.tmp | 290 | rm -f oldXMenu/Makefile.tmp |
| 291 | @echo "Producing \`oldXMenu/Makefile' from \`${srcdir}/oldXMenu/Makefile'." | 291 | @echo "Producing \`oldXMenu/Makefile' from \`${srcdir}/oldXMenu/Makefile.in'." |
| 292 | @(echo "# This file is generated from \`${srcdir}/oldXMenu/Makefile'." ; \ | 292 | @(echo "# This file is generated from \`${srcdir}/oldXMenu/Makefile.in'." ; \ |
| 293 | echo "# If you are thinking about editing it, you should seriously consider" ; \ | 293 | echo "# If you are thinking about editing it, you should seriously consider" ; \ |
| 294 | echo "# running \`make oldXMenu/Makefile' at the top of the" ; \ | 294 | echo "# running \`make oldXMenu/Makefile' at the top of the" ; \ |
| 295 | echo "# Emacs build tree instead, or editing" ; \ | 295 | echo "# Emacs build tree instead, or editing" ; \ |