Fix command to update info files.

diff --git a/make-dist b/make-dist
index 7730a46546c3595ad8e6c499245d9a44952a103d..9e1ebdf3e2baef716f4b5952e8bfc51460b2c7a9 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"