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

Diff of /emacs/make-dist

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

revision 1.196 by eliz, Fri Dec 21 10:17:16 2001 UTC revision 1.197 by eliz, Fri Jan 11 09:39:16 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 "GNU Emacs version ${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.196  
changed lines
  Added in v.1.197

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