Add all Markdown headers to the table of contents

This actually shows a ToC for the just added high DPI overview, which
wasn't created before because the headers didn't have any anchors.
This commit is contained in:
Vadim Zeitlin
2020-09-21 14:49:48 +02:00
parent 44c2671e7b
commit 42ec95ff92

View File

@@ -384,6 +384,7 @@ GENERATE_CHI = NO
CHM_INDEX_ENCODING = CHM_INDEX_ENCODING =
BINARY_TOC = NO BINARY_TOC = NO
TOC_EXPAND = NO TOC_EXPAND = NO
TOC_INCLUDE_HEADINGS = 3
#--------------------------------------------------------------------------- #---------------------------------------------------------------------------