diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-06-10 19:00:34 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-06-18 11:16:58 +0200 |
commit | 8087f7f1c5e88a7b7aa36e9bb958caef1edee19e (patch) | |
tree | 4b229d1482e13cb2d5349469d7746ed27f7e23b5 /ocamldoc/Makefile | |
parent | bdd9ca391e3a56253d7480b07bb1a8aac361904c (diff) | |
download | ocaml-8087f7f1c5e88a7b7aa36e9bb958caef1edee19e.tar.gz |
Build system: simplify installation rules
Now that programs are built with their $(EXE) suffix, their installation
rules can be simplified a bit because most of the programs get installed
under the name they have been built with.
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 2f2704c561..39b00d1744 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -294,7 +294,7 @@ install: $(MKDIR) "$(INSTALL_BINDIR)" $(MKDIR) "$(INSTALL_LIBDIR)/ocamldoc" $(MKDIR) "$(INSTALL_MANODIR)" - $(INSTALL_PROG) $(OCAMLDOC) "$(INSTALL_BINDIR)/$(OCAMLDOC)" + $(INSTALL_PROG) $(OCAMLDOC) "$(INSTALL_BINDIR)" $(INSTALL_DATA) \ ocamldoc.hva *.cmi $(OCAMLDOC_LIBCMA) \ "$(INSTALL_LIBDIR)/ocamldoc" @@ -321,8 +321,7 @@ installopt: installopt_really: $(MKDIR) "$(INSTALL_BINDIR)" $(MKDIR) "$(INSTALL_LIBDIR)/ocamldoc" - $(INSTALL_PROG) \ - $(OCAMLDOC_OPT) "$(INSTALL_BINDIR)/$(OCAMLDOC_OPT)" + $(INSTALL_PROG) $(OCAMLDOC_OPT) "$(INSTALL_BINDIR)" $(INSTALL_DATA) \ $(OCAMLDOC_LIBCMIS) \ "$(INSTALL_LIBDIR)/ocamldoc" |