Solutionunvalidated
In `docs/Doxyfile`, `OUTPUT_DIRECTORY` is configured twice. Tension: As the GitHub Pages deployment is from `docs/html`, there's no `index.html` here. Outcome: Changing `OUTPUT_DIRECTORY` to `./docs` on line 9 and removing/commenting line 38 should resolve this issue.
c787523b-48aa-4992-9f78-c618e6a84491
In docs/Doxyfile, OUTPUT_DIRECTORY is configured twice. Tension: As the GitHub Pages deployment is from docs/html, there's no index.html here. Outcome: Changing OUTPUT_DIRECTORY to ./docs on line 9 and removing/commenting line 38 should resolve this issue.