Fix #410: Search index generator breaks when storing documentation page source files in subdirectories#412
Merged
caendesilva merged 2 commits intomasterfrom 410-search-index-generator-breaks-when-storing-documentation-page-source-files-in-subdirectoriesAug 11, 2022
+15-2
