Fix #5210 Don't refer to index.html when Haddock will not create it
#677
| Job | Run time |
|---|---|
| 2m 2s | |
| 2m 2s |
index.html when Haddock will not create it
#677
| Job | Run time |
|---|---|
| 2m 2s | |
| 2m 2s |