[fix] Update LDoc config (#5231)

Follow-up to #5217.
pull/5233/head
Frans de Jonge 5 years ago committed by GitHub
parent 57d9f75f53
commit 8be113e4bd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -7,13 +7,13 @@ style = '!fixed'
use_markdown_titles = true use_markdown_titles = true
topics = { topics = {
'../README.md', '../README.md',
'./Collaborating with Git.md', './Collaborating_with_Git.md',
'./DataStore.md', './DataStore.md',
'./Development guide.md', './Development_guide.md',
'./Events.md', './Events.md',
'./Hacking.md', './Hacking.md',
'./Porting.md', './Porting.md',
'./Unit tests.md', './Unit_tests.md',
} }
package = '' package = ''
format = 'markdown' format = 'markdown'

Loading…
Cancel
Save