taler-deployment

commit bc538c2333e6498b4c7acb2db7890ac1e728d821
parent 19f3d01d3b199080fe049776f64fa73b677a5805
Author: Christian Grothoff <christian@grothoff.org>
Date:   Mon, 26 Apr 2021 21:29:08 +0200

fix docs bootstrap

Diffstat:
M
bin/taler-deployment
 | 
15
++++++++-------

1 file changed, 8 insertions(+), 7 deletions(-)
diff --git 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,
             ),