Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP


[fix] Use $(MAKE) instead of hardcore "make". #50

wants to merge 1 commit into from

2 participants


No description provided.


Hello, thanks for the pull-request.

Can you use the following format :

[tag] context: message
where allowed tags are cleanup, contrib, debug, doc, enhance, feature, fix, layout, revert.

That would help us a lot :)
In your case, that would give : [fix] Makefile: Use $(MAKE) instead of hardcore "make"



Yep, done with rename in both commit message and pull request message.


Hello, i accepted and integrated your pull request, but you forgot the 'context' (Makefile in your case).

Hope you will remember it for next time ;)

@Aqua-Ye Aqua-Ye closed this
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Commits on Apr 9, 2012
  1. @jlmess77
This page is out of date. Refresh to see the latest.
Showing with 1 addition and 1 deletion.
  1. +1 −1  Makefile
2  Makefile
@@ -36,7 +36,7 @@ export
$(OCAMLBUILD) $(call target-tools,$(ALL_TOOLS)) opa-packages.stamp
@$(call copy-tools,$(ALL_TOOLS))
- make manpages
+ $(MAKE) manpages
.PHONY: build
build: all
Something went wrong with that request. Please try again.