* make-dist: Don't fail if building --without-makeinfo.
This commit is contained in:
parent
cbb9c78de0
commit
7b1026cbf4
1 changed files with 4 additions and 2 deletions
|
@ -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 &&
|
||||
|
|
Loading…
Add table
Reference in a new issue