changeset 24359:9c23e2b384a3

Fix command to update info files.
author Richard M. Stallman <rms@gnu.org>
date Sat, 20 Feb 1999 18:57:09 +0000
parents a7e0a6973e7c
children 7524313da163
files make-dist
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/make-dist	Sat Feb 20 14:11:41 1999 +0000
+++ b/make-dist	Sat Feb 20 18:57:09 1999 +0000
@@ -211,7 +211,7 @@
 then
   echo "Updating Info files"
 
-  (cd man; make info)
+  (cd man; make -f Makefile.in srcdir=. info)
 
   echo "Updating finder, custom and autoload data"