diff options
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 6 |
1 files 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 && |