[taler-docs] branch master updated: build developers manual

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository docs.

The following commit(s) were added to refs/heads/master by this push:
     new 5b06391  build developers manual
5b06391 is described below

commit 5b063910962c6cc971f2d76a8add56ef11f79dcf
Author: Christian Grothoff <address@hidden>
AuthorDate: Fri May 15 12:17:28 2020 +0200

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

diff --git a/conf.py b/conf.py
index a1a653a..c4415c9 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"),
 ]
 

-- 
To stop receiving notification emails like this one, please contact
address@hidden.