From 5b063910962c6cc971f2d76a8add56ef11f79dcf Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 15 May 2020 12:17:28 +0200
Subject: build developers manual

---
 conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf.py b/conf.py
index a1a653af..c4415c9e 100644
--- a/conf.py
+++ b/conf.py
@@ -336,7 +336,7 @@ texinfo_documents = [
      "DESCRIPTION", "CATEGORY"),
     ("taler-bank-manual", "taler-bank", "Taler Bank Manual", "GNU Taler team",
      "MENU ENTRY", "DESCRIPTION", "CATEGORY"),
-    ("onboarding", "onboarding", "Taler Onboarding Manual", "GNU Taler team",
+    ("developers-manual", "developers-manual", "Taler Developer Onboarding Manual", "GNU Taler team",
      "MENU ENTRY", "DESCRIPTION", "CATEGORY"),
 ]
 
-- 
cgit v1.2.3