dist-docs: Make GNU make aware of sub-make.

[cascardo/ovs.git] / build-aux / dist-docs

diff --git a/build-aux/dist-docs b/build-aux/dist-docs
index 3792fa5..1aeefa7 100755 (executable)
--- a/build-aux/dist-docs
+++ b/build-aux/dist-docs
@@ -44,7 +44,7 @@ rm -rf $distdir
 mkdir $distdir
 
 # Install manpages.
-make install-man mandir="$abs_distdir"/man
+${MAKE-make} install-man mandir="$abs_distdir"/man
 (cd $distdir && mv `find man -type f` . && rm -rf man)
 manpages=`cd $distdir && echo *`