diff options
| -rw-r--r-- | hadrian/bindist/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/hadrian/bindist/Makefile b/hadrian/bindist/Makefile index 5290a5e9df..dbed7a0502 100644 --- a/hadrian/bindist/Makefile +++ b/hadrian/bindist/Makefile @@ -193,9 +193,10 @@ install_docs: for i in $(DOCS); do \ cp -R $$i "$(docdir)/"; \ done - - $(INSTALL_DATA) docs-utils/prologue.txt "$(docdir)/html/libraries/" - $(INSTALL_SCRIPT) docs-utils/gen_contents_index "$(docdir)/html/libraries/" + if [ -d docs-utils ]; then \ + $(INSTALL_DATA) docs-utils/prologue.txt "$(docdir)/html/libraries/"; \ + $(INSTALL_SCRIPT) docs-utils/gen_contents_index "$(docdir)/html/libraries/"; \ + fi BINARY_NAMES=$(shell ls ./wrappers/) install_wrappers: install_bin_libdir |