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 |