diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-04-26 21:29:08 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-04-26 21:29:08 +0200 |
| commit | bc538c2333e6498b4c7acb2db7890ac1e728d821 (patch) | |
| tree | d5c6ecab684486fd671b99e486d7b5b8a3971f6f /bin/taler-deployment | |
| parent | 19f3d01d3b199080fe049776f64fa73b677a5805 (diff) | |
| download | deployment-bc538c2333e6498b4c7acb2db7890ac1e728d821.tar.gz deployment-bc538c2333e6498b4c7acb2db7890ac1e728d821.tar.bz2 deployment-bc538c2333e6498b4c7acb2db7890ac1e728d821.zip | |
fix docs bootstrap
Diffstat (limited to 'bin/taler-deployment')
| -rwxr-xr-x | bin/taler-deployment | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/bin/taler-deployment b/bin/taler-deployment index 8ec50ad..befbf9a 100755 --- a/bin/taler-deployment +++ b/bin/taler-deployment @@ -83,6 +83,7 @@ def cli(): # map from environment name to currency currmap = { "test": "TESTKUDOS", + "docs-builder": "TESTKUDOS", "coverage": "TESTKUDOS", "integrationtest": "TESTKUDOS", "demo": "KUDOS", @@ -275,7 +276,7 @@ def get_repos(envname): return [ Repo( "docs", - "git://git.taler.net/docs.git", + "git://git.taler.net/docs", [], build_docs, ), @@ -296,13 +297,13 @@ def get_repos(envname): return [ Repo( "libmicrohttpd", - "git://gnunet.org/libmicrohttpd.git", + "git://git.gnunet.org/libmicrohttpd.git", [], build_libmicrohttpd, ), Repo( "gnunet", - "git://gnunet.org/gnunet.git", + "git://git.gnunet.org/gnunet.git", [], build_gnunet), Repo( @@ -354,13 +355,13 @@ def get_repos(envname): return [ Repo( "libmicrohttpd", - "git://gnunet.org/libmicrohttpd.git", + "git://git.gnunet.org/libmicrohttpd.git", [], build_libmicrohttpd, ), Repo( "gnunet", - "git://gnunet.org/gnunet.git", + "git://git.gnunet.org/gnunet.git", [], build_gnunet, ), @@ -399,13 +400,13 @@ def get_repos(envname): ), Repo( "libmicrohttpd", - "git://gnunet.org/libmicrohttpd.git", + "git://git.gnunet.org/libmicrohttpd.git", [], build_libmicrohttpd, ), Repo( "gnunet", - "git://gnunet.org/gnunet.git", + "git://git.gnunet.org/gnunet.git", [], build_gnunet, ), |