diff options
| author | partev <petrosyan@gmail.com> | 2023-03-23 13:10:07 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-23 13:10:07 -0400 |
| commit | 76b1a49b7f026836d717447b0eb246fa89687d28 (patch) | |
| tree | ea7e928cf5a3dee06ba44c258d622b1dc6cf5b42 /doc/source/dev | |
| parent | 3ede0d999ea55c07adad0097cef330a61e02a88c (diff) | |
| download | numpy-76b1a49b7f026836d717447b0eb246fa89687d28.tar.gz | |
DOC: fix a link redirect to WSL
Diffstat (limited to 'doc/source/dev')
| -rw-r--r-- | doc/source/dev/howto_build_docs.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source/dev/howto_build_docs.rst b/doc/source/dev/howto_build_docs.rst index a46688d7f..980a03f54 100644 --- a/doc/source/dev/howto_build_docs.rst +++ b/doc/source/dev/howto_build_docs.rst @@ -18,7 +18,7 @@ Before proceeding further it should be noted that the documentation is built wit which is not natively available on Windows. MacOS or Linux users can jump to :ref:`how-todoc.prerequisites`. It is recommended for Windows users to set up their development environment on :ref:`Gitpod <development-gitpod>` or `Windows Subsystem -for Linux (WSL) <https://docs.microsoft.com/en-us/windows/wsl/install-win10>`_. WSL is a good option +for Linux (WSL) <https://learn.microsoft.com/en-us/windows/wsl/install>`_. WSL is a good option for a persistent local set-up. Gitpod |