Fix for building user-level documentation local

[steffengraber]

This PR fixes the local creation of user-level documentation with make docs.
Without this fix, this error will be returned:

/bin/sh: 1: htmldoc/resolve_includes.py: Permission denied

With the fix make docs passes without any problems.

To test, I followed the user-level documentation workflow (https://nest-simulator.readthedocs.io/en/latest/developer_space/workflows/documentation_workflow/user_documentation_workflow.html) with a conda setup.

My system:

• Ubuntu 22.04.1 LTS
• Python 3.9.15 (in the conda env)

@med-ayssar could you review?

[med-ayssar]

I have run a local build without conda, and it works without throwing any issues back. However, I still have a question.
In doc/CMakeLists.txt at line 101, we still have PYTHON_EXECUTABLE instead of Python_EXECUTABLE. Should not that cause a problem too.

I could not test it because make html is not included as target in the generated Makefile

[steffengraber]

In doc/CMakeLists.txt at line 101, we still have PYTHON_EXECUTABLE instead of Python_EXECUTABLE. Should not that cause a problem too.

@med-ayssar Are you on master?
https://github.com/nest/nest-simulator/blob/752f56e5c63bd4dca1a715c87a12fc55e2c2742c/doc/CMakeLists.txt

[med-ayssar]

In doc/CMakeLists.txt at line 101, we still have PYTHON_EXECUTABLE instead of Python_EXECUTABLE. Should not that cause a problem too.

@med-ayssar Are you on master? https://github.com/nest/nest-simulator/blob/752f56e5c63bd4dca1a715c87a12fc55e2c2742c/doc/CMakeLists.txt

Sorry, my mistake. I was taking a look at another window. Though, my first comment is correct. make docs is not issuing any errors.

[steffengraber]

Perfect, please add a review.

[med-ayssar]

Looks good to me!