diff options
| -rw-r--r-- | hadrian/bindist/Makefile | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/hadrian/bindist/Makefile b/hadrian/bindist/Makefile index 40efe553c1..6a3e54d529 100644 --- a/hadrian/bindist/Makefile +++ b/hadrian/bindist/Makefile @@ -87,7 +87,7 @@ else install_bin: install_bin_libdir install_wrappers endif -install: install_bin install_lib install_includes +install: install_bin install_lib install: install_docs update_package_db ActualBinsDir=${ghclibdir}/bin @@ -178,14 +178,6 @@ install_lib: lib/settings cp -R $$i "$(DESTDIR)$(ActualLibsDir)/"; \ done -INCLUDES = $(wildcard ./include/*) -install_includes: - @echo "Copying include files to $(DESTDIR)$(includedir)" - $(INSTALL_DIR) "$(DESTDIR)$(includedir)" - for i in $(INCLUDES); do \ - cp -R $$i "$(DESTDIR)$(includedir)/"; \ - done - DOCS = $(wildcard ./docs/*) install_docs: @echo "Copying docs to $(DESTDIR)$(docdir)" |