src/doc/make.sh: Do not assume $MAKE is set

Matthias Koeppe · Matthias Koeppe · commit 12264c0dd100 · 2023-11-22T18:47:32.000-08:00
diff --git a/src/doc/make.sh b/src/doc/make.sh
@@ -9,4 +9,4 @@ case "$MAKEFLAGS" in
         fi
         ;;
 esac
-exec $MAKE $OPTIONS "$@"
+exec ${MAKE:-make} $OPTIONS "$@"
