[Emacs-diffs] Changes to emacs/make-dist

[Eli Zaretskii]

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'"