commit 7b1026cbf48fa8a3f31497910f696a5ba28476cb (HEAD, refs/remotes/origin/master) Author: Noam Postavsky Date: Mon Apr 30 15:49:04 2018 -0400 * make-dist: Don't fail if building --without-makeinfo. diff --git a/make-dist b/make-dist index 4f420a9748..aba5c43c52 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 &&