diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-05 09:19:30 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-05 09:19:30 +0200 |
commit | 22508b62a9fdb6d4180b2162b8aa70f2454330e7 (patch) | |
tree | a4d94395cc979b7f09ec142af93926fe42e9744c | |
parent | 0757d9fb52365e43ffda18fde929accae6ebd7b7 (diff) | |
download | deployment-22508b62a9fdb6d4180b2162b8aa70f2454330e7.tar.gz deployment-22508b62a9fdb6d4180b2162b8aa70f2454330e7.tar.bz2 deployment-22508b62a9fdb6d4180b2162b8aa70f2454330e7.zip |
using --enable-only-doc option
-rwxr-xr-x | taler-build/update_docs.sh | 14 |
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 |