From 0d3e21962d4ba4119df261d44153f7807b297b81 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Fri, 30 Jun 2023 16:24:05 +0200
Subject: [PATCH] [doc] Added WSL links

---
 README.md            | 7 ++++---
 doc/installation.rst | 4 ++--
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index eb33c6d..4754783 100644
--- a/README.md
+++ b/README.md
@@ -9,8 +9,9 @@ artificial intelligence based software.
 
 The latest release of CAISAR is available as an [opam](https://opam.ocaml.org/)
 package or a [Docker](https://www.docker.com/) image on GNU/Linux.
-CAISAR is available on Windows either under the Windows
-Subsystem Linux (WSL) or the aforementioned docker image.
+CAISAR is available on Windows either under the [Windows
+Subsystem Linux](https://learn.microsoft.com/en-us/windows/wsl/install)
+(WSL) or the aforementioned docker image.
 
 The development version of CAISAR is available only by compiling the source code.
 CAISAR needs access to a ``python3`` interpreter, which is
@@ -71,7 +72,7 @@ make test
 
 ## Documentation
 
-The CAISAR user manual is available on the [platform website](https://laiser.frama-c.com/laiser-websites/caisar-website/documentation/).
+The CAISAR user manual is available on the [platform website](https://caisar-platform.com/documentation/).
 
 It is possible to generate it locally. This operation requires the documentation generator
 [Sphinx](https://www.sphinx-doc.org/en/master/index.html), which is typically
diff --git a/doc/installation.rst b/doc/installation.rst
index 6efe58c..b5df738 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -6,8 +6,8 @@ Installation
 The latest release of CAISAR is available as an
 `opam <https://opam.ocaml.org/>`_ package or
 a `Docker <https://www.docker.com/>`_ image on GNU/Linux.
-CAISAR is available on Windows either under the Windows
-Subsystem Linux (WSL) or the aforementioned docker image.
+CAISAR is available on Windows either under the `Windows
+Subsystem Linux <https://learn.microsoft.com/en-us/windows/wsl/install>`_ (WSL) or the aforementioned docker image.
 
 The development version of CAISAR is available only by compiling the source code.
 CAISAR needs access to a ``python3`` interpreter, which is
-- 
GitLab