[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Emacs-diffs] Changes to emacs/make-dist
From: |
Paul Eggert |
Subject: |
[Emacs-diffs] Changes to emacs/make-dist |
Date: |
Tue, 19 Feb 2002 01:45:05 -0500 |
Index: emacs/make-dist
diff -c emacs/make-dist:1.196 emacs/make-dist:1.197
*** emacs/make-dist:1.196 Fri Dec 21 05:17:16 2001
--- emacs/make-dist Fri Jan 11 04:39:16 2002
***************
*** 150,156 ****
if [ $update = yes ];
then
! if grep -s "GNU Emacs version ${shortversion}" ./man/emacs.texi >
/dev/null; then
true
else
echo "You must update the version number in \`./man/emacs.texi'"
--- 150,156 ----
if [ $update = yes ];
then
! if grep -s "@set EMACSVER *${shortversion}" ./man/emacs.texi > /dev/null;
then
true
else
echo "You must update the version number in \`./man/emacs.texi'"