- if ! grep -q "@set EMACSVER *${version}" doc/emacs/emacsver.texi || \
- ! grep -q "tree holds version *${version}" README; then
- echo "WARNING: README and/or emacsver.texi have the wrong version number"
+ if ! grep -q "tree holds version *${version}" README; then
+ echo "WARNING: README has the wrong version number"