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