HCoop
/
bpt
/
emacs.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d1c1661
)
Make version checking in emacs.texi consistent with how we set it there.
author
Eli Zaretskii
<eliz@gnu.org>
Fri, 11 Jan 2002 09:39:16 +0000
(09:39 +0000)
committer
Eli Zaretskii
<eliz@gnu.org>
Fri, 11 Jan 2002 09:39:16 +0000
(09:39 +0000)
make-dist
patch
|
blob
|
blame
|
history
diff --git
a/make-dist
b/make-dist
index
7441aa2
..
f5f2783
100755
(executable)
--- a/
make-dist
+++ b/
make-dist
@@
-150,7
+150,7
@@
echo Version numbers are $version and $shortversion
if [ $update = yes ];
then
- 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
true
else
echo "You must update the version number in \`./man/emacs.texi'"