From 7b1026cbf48fa8a3f31497910f696a5ba28476cb Mon Sep 17 00:00:00 2001 From: Noam Postavsky Date: Mon, 30 Apr 2018 15:49:04 -0400 Subject: [PATCH] * make-dist: Don't fail if building --without-makeinfo. --- make-dist | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/make-dist b/make-dist index 4f420a97489..aba5c43c52f 100755 --- a/make-dist +++ b/make-dist @@ -596,8 +596,10 @@ for f in `find etc -type f`; do ln $f $tempdir/$f || exit done -echo "Making links to 'info'" -ln `find info -type f -print` ${tempdir}/info || exit +if [ -d info ]; then # Skip in case we've built --without-makeinfo. + echo "Making links to 'info'" + ln `find info -type f -print` ${tempdir}/info || exit +fi echo "Making links to 'doc/emacs'" (cd doc/emacs && -- 2.39.5