diff options
| author | Jim Blandy | 1993-05-24 16:01:41 +0000 |
|---|---|---|
| committer | Jim Blandy | 1993-05-24 16:01:41 +0000 |
| commit | fe7cd06e97287f257a2a98834d695044e99295ba (patch) | |
| tree | e7506fdcd27a185f1855d3bec930653c96baba64 | |
| parent | 1e3255d849d05f200743aff0e5c73e19a4b9c5fb (diff) | |
| download | emacs-fe7cd06e97287f257a2a98834d695044e99295ba.tar.gz emacs-fe7cd06e97287f257a2a98834d695044e99295ba.zip | |
* Makefile.in: Doc fix.
| -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" ; \ |