diff --git a/HACKING.md b/HACKING.md index d5b81328035..1c55040a98e 100644 --- a/HACKING.md +++ b/HACKING.md @@ -12,5 +12,5 @@ Please see the content of this file in its new location: https://docs.open-mpi.org/en/main/developers/ Additionally, see -https://docs.open-mpi.org/en/main/developers/prerequisites.html#sphinx +https://docs.open-mpi.org/en/main/developers/prerequisites.html#sphinx-and-therefore-python if you want to edit and build the documentation locally. diff --git a/README.md b/README.md index fe78207ad47..99f0124ebfb 100644 --- a/README.md +++ b/README.md @@ -28,4 +28,4 @@ Developers who clone the Open MPI Git repository will not have the HTML documentation and man pages by default; it must be built. Instructions for how to build the Open MPI documentation can be found here: -https://docs.open-mpi.org/en/main/developers/prerequisites.html#sphinx. +https://docs.open-mpi.org/en/main/developers/prerequisites.html#sphinx-and-therefore-python.