diff options
| author | Noam Postavsky | 2018-04-30 15:49:04 -0400 |
|---|---|---|
| committer | Noam Postavsky | 2018-05-04 07:43:51 -0400 |
| commit | 7b1026cbf48fa8a3f31497910f696a5ba28476cb (patch) | |
| tree | 45d0f2057da508398b7d4ff1ce27863f859ee4f3 /make-dist | |
| parent | cbb9c78de081e37cf0b2ab6f35022abf89507d9c (diff) | |
| download | emacs-7b1026cbf48fa8a3f31497910f696a5ba28476cb.tar.gz emacs-7b1026cbf48fa8a3f31497910f696a5ba28476cb.zip | |
* 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
| @@ -596,8 +596,10 @@ for f in `find etc -type f`; do | |||
| 596 | ln $f $tempdir/$f || exit | 596 | ln $f $tempdir/$f || exit |
| 597 | done | 597 | done |
| 598 | 598 | ||
| 599 | echo "Making links to 'info'" | 599 | if [ -d info ]; then # Skip in case we've built --without-makeinfo. |
| 600 | ln `find info -type f -print` ${tempdir}/info || exit | 600 | echo "Making links to 'info'" |
| 601 | ln `find info -type f -print` ${tempdir}/info || exit | ||
| 602 | fi | ||
| 601 | 603 | ||
| 602 | echo "Making links to 'doc/emacs'" | 604 | echo "Making links to 'doc/emacs'" |
| 603 | (cd doc/emacs && | 605 | (cd doc/emacs && |