commit 5b063910962c6cc971f2d76a8add56ef11f79dcf
parent 1bb63b8e3b56c9a036ae6a1988c289505f21675d
Author: Christian Grothoff <christian@grothoff.org>
Date: Fri, 15 May 2020 12:17:28 +0200
build developers manual
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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"),
]