Fix #5210 Don't refer to index.html
when Haddock will not create it#9332
Merged
mergify[bot] merged 1 commit intomaster from fix5210Oct 17, 2023
+46-1
index.html
when Haddock will not create it#9332