Fix #5210 Don't refer to index.html when Haddock will not create it
#7152
The logs for this run have expired and are no longer available.
Loading