Permalink
Browse files

[enhance] distrib: added compilation and install of manpages

  • Loading branch information...
1 parent 5baea24 commit 43dc09d0115a87a9cccbe86517d1afc856c97100 Mathieu Baudet committed Jan 6, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 install_release.sh
View
@@ -202,7 +202,7 @@ OPADOCGEN=$OPAGENERAL/_build/opadoc/doc # the generated API doc
./configure -prefix $INSTALLDIR -ocamlopt $OCAMLOPT -release -no-dbm
-make clean distrib install
+make clean distrib manpages install
mkdir -p $INSTALLDIR/share/opa/
mkdir -p $INSTALLDIR/share/doc/opa/

0 comments on commit 43dc09d

Please sign in to comment.