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