diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-05-23 15:11:25 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-05-23 15:11:25 +0200 |
commit | fcc173e7d3f9d1ad9adee79ca0dc51c42c9e648e (patch) | |
tree | 745f0259fa08730f4824a806aeb9a047a761b049 /man/Makefile | |
parent | 4697ca143a55032900850821cbec703b0cce510a (diff) | |
download | ocaml-fcc173e7d3f9d1ad9adee79ca0dc51c42c9e648e.tar.gz |
Fix man/Makefile
This is a follow-up to commit eef958007e91de215721c9f435090e1fbb0b3412
(rename variables related to manual pages)
A few occurrences had been forgotten.
Diffstat (limited to 'man/Makefile')
-rw-r--r-- | man/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/man/Makefile b/man/Makefile index 06e6fa832a..2b678d837a 100644 --- a/man/Makefile +++ b/man/Makefile @@ -20,9 +20,9 @@ INSTALL_DIR=$(DESTDIR)$(MANDIR)/man$(PROGRAMS_MAN_SECTION) install: for i in *.m; do cp \ $$i $(INSTALL_DIR)/`basename $$i .m`.$(PROGRAMS_MAN_SECTION); done - echo '.so man$(PROGRAMS_MAN_SECTION)/ocamlc.$(MANEXT)' \ + echo '.so man$(PROGRAMS_MAN_SECTION)/ocamlc.$(PROGRAMS_MAN_SECTION)' \ > $(INSTALL_DIR)/ocamlc.opt.$(PROGRAMS_MAN_SECTION) - echo '.so man$(PROGRAMS_MAN_SECTION)/ocamlopt.$(MANEXT)' \ + echo '.so man$(PROGRAMS_MAN_SECTION)/ocamlopt.$(PROGRAMS_MAN_SECTION)' \ > $(INSTALL_DIR)/ocamlopt.opt.$(PROGRAMS_MAN_SECTION) - echo '.so man$(PROGRAMS_MAN_SECTION)/ocamlcp.$(MANEXT)' \ + echo '.so man$(PROGRAMS_MAN_SECTION)/ocamlcp.$(PROGRAMS_MAN_SECTION)' \ > $(INSTALL_DIR)/ocamloptp.$(PROGRAMS_MAN_SECTION) |