Parent Directory | Revision Log | 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'" |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |