I am curious about how you compile/generate the HTML files, would you mind sharing the commands you run?

I didn't run any particular command other than the usual git commands after making the changes. The only thing unusual was probably a sphinx popup on my vs code editor while opening the rst file which I might have clicked 🤔
Unfortunately I don't have any knowledge of sphinx so I don't have any further details

I didn't run any particular command other than the usual git commands after making the changes. The only thing unusual was probably a sphinx popup on my vs code editor while opening the rst file which I might have clicked 🤔
Unfortunately I don't have any knowledge of sphinx so I don't have any further details

What I originally mean is that, for usual cases, people build docs by:

cd docs
make html

Following this workflow usually doesn't generate anything that hasn't been git-ignored. In your cases, I bet the docs/source/_build folder is generated by vscode plugin.

What I originally mean is that, for usual cases, people build docs by:

cd docs
make html

Following this workflow usually doesn't generate anything that hasn't been git-ignored. In your cases, I bet the docs/source/_build folder is generated by vscode plugin.

Agreed since I never executed these commands.

Ignoring this directory seems no big deal even if it's not necessary when using the official workflow.