diff options
| author | Jim Blandy <jimb@redhat.com> | 1993-05-24 16:01:41 +0000 |
|---|---|---|
| committer | Jim Blandy <jimb@redhat.com> | 1993-05-24 16:01:41 +0000 |
| commit | fe7cd06e97287f257a2a98834d695044e99295ba (patch) | |
| tree | e7506fdcd27a185f1855d3bec930653c96baba64 /Makefile.in | |
| parent | 1e3255d849d05f200743aff0e5c73e19a4b9c5fb (diff) | |
| download | emacs-fe7cd06e97287f257a2a98834d695044e99295ba.tar.gz | |
* Makefile.in: Doc fix.
Diffstat (limited to 'Makefile.in')
| -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 oldXMenu/Makefile: ${srcdir}/oldXMenu/Makefile.in Makefile rm -f oldXMenu/Makefile.tmp - @echo "Producing \`oldXMenu/Makefile' from \`${srcdir}/oldXMenu/Makefile'." - @(echo "# This file is generated from \`${srcdir}/oldXMenu/Makefile'." ; \ + @echo "Producing \`oldXMenu/Makefile' from \`${srcdir}/oldXMenu/Makefile.in'." + @(echo "# This file is generated from \`${srcdir}/oldXMenu/Makefile.in'." ; \ echo "# If you are thinking about editing it, you should seriously consider" ; \ echo "# running \`make oldXMenu/Makefile' at the top of the" ; \ echo "# Emacs build tree instead, or editing" ; \ |