Mercurial > emacs
comparison make-dist @ 3422:3f87ded07a67
Don't hassle me about emacs.texi.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Tue, 01 Jun 1993 22:37:43 +0000 |
parents | 8e39495c5be4 |
children | cecefb2ab758 |
comparison
equal
deleted
inserted
replaced
3421:6cb1311434ba | 3422:3f87ded07a67 |
---|---|
71 | 71 |
72 if grep -s "GNU Emacs version ${version}" ./man/emacs.texi > /dev/null; then | 72 if grep -s "GNU Emacs version ${version}" ./man/emacs.texi > /dev/null; then |
73 true | 73 true |
74 else | 74 else |
75 echo "You must update the version number in \`./man/emacs.texi'" | 75 echo "You must update the version number in \`./man/emacs.texi'" |
76 exit 1 | 76 sleep 5 |
77 fi | 77 fi |
78 | 78 |
79 ### Make sure the subdirectory is available. | 79 ### Make sure the subdirectory is available. |
80 tempparent="make-dist.tmp.$$" | 80 tempparent="make-dist.tmp.$$" |
81 if [ -d ${tempparent} ]; then | 81 if [ -d ${tempparent} ]; then |