From 8be113e4bd84f222b551f4e3646261e719f3f284 Mon Sep 17 00:00:00 2001
From: Frans de Jonge <fransdejonge@gmail.com>
Date: Tue, 20 Aug 2019 17:41:09 +0200
Subject: [PATCH] [fix] Update LDoc config (#5231)

Follow-up to #5217.
---
 doc/config.ld | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/config.ld b/doc/config.ld
index 518126e38..9a6b5c14e 100644
--- a/doc/config.ld
+++ b/doc/config.ld
@@ -7,13 +7,13 @@ style = '!fixed'
 use_markdown_titles = true
 topics = {
     '../README.md',
-    './Collaborating with Git.md',
+    './Collaborating_with_Git.md',
     './DataStore.md',
-    './Development guide.md',
+    './Development_guide.md',
     './Events.md',
     './Hacking.md',
     './Porting.md',
-    './Unit tests.md',
+    './Unit_tests.md',
 }
 package = ''
 format = 'markdown'