diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-06-10 20:53:38 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-06-10 20:53:49 +0200 |
commit | add61dc7c36a7fec7815ac3bd82b99beb5bc06f6 (patch) | |
tree | 856ecafbf3a5b30396387120a03452def37ae737 /buildbot | |
parent | c963546ba67d97881176aed7256fc2857db8a646 (diff) | |
download | deployment-add61dc7c36a7fec7815ac3bd82b99beb5bc06f6.tar.gz deployment-add61dc7c36a7fec7815ac3bd82b99beb5bc06f6.tar.bz2 deployment-add61dc7c36a7fec7815ac3bd82b99beb5bc06f6.zip |
First changes of #5761.
Diffstat (limited to 'buildbot')
-rwxr-xr-x | buildbot/build-docs.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/buildbot/build-docs.sh b/buildbot/build-docs.sh index 9d8905f..9e534fb 100755 --- a/buildbot/build-docs.sh +++ b/buildbot/build-docs.sh @@ -2,7 +2,7 @@ set -eu -cd $HOME/deployment/taler-docbuild/ -./invalidate.sh +cd $HOME/stamps -make +./invalidate.sh +make all |