Permalink
Browse files

[enhance] Makefile: also make manpages for distrib

  • Loading branch information...
1 parent c8785fa commit 0fc79b4b04d1e3f4c4b55410e3656ae932487bb7 @Aqua-Ye Aqua-Ye committed Jul 13, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 Makefile
View
@@ -77,6 +77,7 @@ OPA_TOOLS = opa-create
distrib: $(MYOCAMLBUILD)
$(OCAMLBUILD) $(call target-tools,$(DISTRIB_TOOLS)) opa-both-packages.stamp
@$(call copy-tools,$(DISTRIB_TOOLS))
+ $(MAKE) manpages
$(MAKE) $(OPA_TOOLS)
##

0 comments on commit 0fc79b4

Please sign in to comment.