Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[contrib] Merge: remote-tracking branch 'jlmess77/hardcore-make-fix2'…

… (issue #50)
  • Loading branch information...
commit 7870f0be266a5e7df38358cfeff5c791f3571274 2 parents 42bedc8 + 3e3c2e6
@Aqua-Ye Aqua-Ye authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  Makefile
View
2  Makefile
@@ -36,7 +36,7 @@ export
all: $(MYOCAMLBUILD)
$(OCAMLBUILD) $(call target-tools,$(ALL_TOOLS)) opa-packages.stamp
@$(call copy-tools,$(ALL_TOOLS))
- make manpages
+ $(MAKE) manpages
.PHONY: build
build: all
Please sign in to comment.
Something went wrong with that request. Please try again.