From bc538c2333e6498b4c7acb2db7890ac1e728d821 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 26 Apr 2021 21:29:08 +0200
Subject: fix docs bootstrap

---
 bin/taler-deployment | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

(limited to 'bin/taler-deployment')

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,
             ),
-- 
cgit v1.2.3