/[emacs]/emacs/make-dist
ViewVC logotype

Diff of /emacs/make-dist

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.182.4.2 by eliz, Fri Jan 11 09:32:50 2002 UTC revision 1.182.4.3 by eliz, Fri Jan 11 09:35:34 2002 UTC
# Line 150  echo Version numbers are $version and $s Line 150  echo Version numbers are $version and $s
150    
151  if [ $update = yes ];  if [ $update = yes ];
152  then  then
153    if grep -s "@set EMACSVER ${shortversion}" ./man/emacs.texi > /dev/null; then    if grep -s "@set EMACSVER  *${shortversion}" ./man/emacs.texi > /dev/null; then
154      true      true
155    else    else
156      echo "You must update the version number in \`./man/emacs.texi'"      echo "You must update the version number in \`./man/emacs.texi'"

Legend:
Removed from v.1.182.4.2  
changed lines
  Added in v.1.182.4.3

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26