Browse files

[fix] install_release: fix install_release script

  • Loading branch information...
1 parent 1c11bdb commit d65924b70ad449b18b43622fdb8ee2d8a14ae677 @BourgerieQuentin BourgerieQuentin committed Feb 13, 2012
Showing with 2 additions and 2 deletions.
  1. +2 −2 install_release.sh
View
4 install_release.sh
@@ -221,14 +221,14 @@ mkdir -p $INSTALLDIR/share/opa/
mkdir -p $INSTALLDIR/share/doc/opa/
# generating the book
-if [ $NODOC = "false" ]; then
+# if [ $NODOC = "false" ]; then
# make opadoc/doc install-doc
# if ! make book-clean book; then
# msg "Error: could not build the doc in $OPABOOK."
# msg "You may want to fix and re-run with -keep-install-sys -keep-build"
# exit 1
# fi
-fi
+# fi
# installing the book
if [ $NODOC = "false" ] && [ -z "$IS_WINDOWS" ]; then
mkdir -p $INSTALLDIR/share/doc/opa/book

0 comments on commit d65924b

Please sign in to comment.