summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-06-05 09:19:30 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-06-05 09:19:30 +0200
commit22508b62a9fdb6d4180b2162b8aa70f2454330e7 (patch)
treea4d94395cc979b7f09ec142af93926fe42e9744c
parent0757d9fb52365e43ffda18fde929accae6ebd7b7 (diff)
downloaddeployment-22508b62a9fdb6d4180b2162b8aa70f2454330e7.tar.gz
deployment-22508b62a9fdb6d4180b2162b8aa70f2454330e7.tar.bz2
deployment-22508b62a9fdb6d4180b2162b8aa70f2454330e7.zip
using --enable-only-doc option
-rwxr-xr-xtaler-build/update_docs.sh14
1 files changed, 4 insertions, 10 deletions
diff --git a/taler-build/update_docs.sh b/taler-build/update_docs.sh
index 6098149..f4040a8 100755
--- a/taler-build/update_docs.sh
+++ b/taler-build/update_docs.sh
@@ -14,21 +14,15 @@ fetch () {
cd $HOME/merchant
fetch
./bootstrap
-./configure --with-gnunet=$HOME/local \
- --with-exchange=$HOME/local \
- --with-microhttpd=$HOME/local
-cd doc/
-make pdf
+./configure --enable-only-doc
+make
# 2 exchange
cd $HOME/exchange
fetch
./bootstrap
-./configure --with-libgnurl=$HOME/local \
- --with-microhttpd=$HOME/local \
- --with-gnunet=$HOME/local
-cd doc/
-make pdf
+./configure --enable-only-doc
+make
# 3 frontends tutorials
cd $HOME/merchant-frontend-examples