Unnecessary `docs/index.html` file?

[yousefmoazzam]

I'm fairly sure that the index.html file that serves as the homepage for the docs is generated automatically by sphinx and placed in a dir docs/build/:

• this is what happens locally when running the sphinx-build.sh command:

  httomo/docs/sphinx-build.sh

  Line 22 in c46fb1e

  sphinx-build -a -E -b html $DIR/source/ $DIR/build/

• and the CI does a similar command to put the output in docs/build/

  httomo/.github/workflows/httomo_docs.yml

  Lines 43 to 44 in c46fb1e

  	- name: Build docs
  	run: sphinx-build -a -E -b html ./docs/source/ ./docs/build/

so I don't think the docs/index.html file is actually used for anything?