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:
df80b09
)
Fix command to update info files.
author
Richard M. Stallman
<rms@gnu.org>
Sat, 20 Feb 1999 18:57:09 +0000
(18:57 +0000)
committer
Richard M. Stallman
<rms@gnu.org>
Sat, 20 Feb 1999 18:57:09 +0000
(18:57 +0000)
make-dist
patch
|
blob
|
blame
|
history
diff --git
a/make-dist
b/make-dist
index
7730a46
..
9e1ebdf
100755
(executable)
--- a/
make-dist
+++ b/
make-dist
@@
-211,7
+211,7
@@
if [ $update = yes ];
then
echo "Updating Info files"
- (cd man; make info)
+ (cd man; make
-f Makefile.in srcdir=.
info)
echo "Updating finder, custom and autoload data"