Fix #5210 Don't refer to index.html when Haddock will not create it
#1184
mpilgrem
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention