From 8c2c18faf17beb3ae11cf09e1b24d99ec1c63a68 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Tue, 12 Dec 2023 17:15:33 +0100
Subject: [PATCH] [doc] Two small inconsistencies in doc.

---
 doc/foreword.rst     | 2 +-
 doc/installation.rst | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/foreword.rst b/doc/foreword.rst
index 5b22b23..716a942 100644
--- a/doc/foreword.rst
+++ b/doc/foreword.rst
@@ -19,7 +19,7 @@ the `ONNX <https://onnx.ai/>`_ exchange format. Support Vector Machines (SVM)
 are supported by means of an ad-hoc CSV format.
 
 The motivations and design ideas behind CAISAR have been presented at the
-workshop `AISafety 2022 <https://www.aisafetyw.org/>`_ [GABCL2022]_ and at the `Journées Francophones des Langages Applicatifs 2023 <jfla.inria.fr/jfla2023.html>`_ [GABC2023]_.
+workshop `AISafety 2022 <https://www.aisafetyw.org/>`_ [GABCL2022]_ and at the `Journées Francophones des Langages Applicatifs 2023 <https://jfla.inria.fr/jfla2023.html>`_ [GABC2023]_.
 
 
 Overall Design
diff --git a/doc/installation.rst b/doc/installation.rst
index cb1055b..5251e2b 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -86,7 +86,7 @@ build CAISAR using the following command:
    This will result in several megabytes download. Make sure you have
    a stable network connexion before attempting building through Nix.
 
-The CAISAR binary will reside in ``result/bin/caisar``. The manual will be under ``result/share/doc/ocaml4.14.1-caisar-0.2.0/``.
+The CAISAR binary will reside in ``result/bin/caisar``. The manual will be under ``result/share/doc/ocaml4.14.1-caisar-${VERSION}/``.
 
 You can run the CAISAR test suite using the following command:
 
-- 
GitLab