HI David Ffrench,

The doc is updated automatically when the command `make setup` is used.
However, the CI before this task was not checking if the changes were or not committed to the repo in order to ensure it.
The idea here is not to allow a merge with the doc outdated. We can try to improve it more in the future. However, I think now it is covering what is required at least.