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