diff options
| author | Noam Postavsky <npostavs@gmail.com> | 2018-04-30 15:49:04 -0400 |
|---|---|---|
| committer | Noam Postavsky <npostavs@gmail.com> | 2018-05-04 07:43:51 -0400 |
| commit | 7b1026cbf48fa8a3f31497910f696a5ba28476cb (patch) | |
| tree | 45d0f2057da508398b7d4ff1ce27863f859ee4f3 /make-dist | |
| parent | cbb9c78de081e37cf0b2ab6f35022abf89507d9c (diff) | |
* make-dist: Don't fail if building --without-makeinfo.
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 && |