From 36fd4d4a3e1646b87b66f8f0f6822a9156cf5b75 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 8 Nov 2024 16:34:21 +0100
Subject: [PATCH] [release] Indicate that pub.frama-c.com might not display the
good version
---
doc/release/deploy.tex | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index af15dd8b33..e84463cbd0 100644
--- a/doc/release/deploy.tex
+++ b/doc/release/deploy.tex
@@ -47,7 +47,13 @@ at the end of Chapter.~\ref{chap:validation}, and to force-push this new referen
\section{Check the website}
\label{sec:check-website}
-Once the pipeline for the website has run, open \texttt{https://pub.frama-c.com}.
+Once the pipeline for the website has run, open \url{https://pub.frama-c.com}.
+
+\textbf{Note:} \texttt{https://pub.frama-c.com/} serves the content of the latest
+commit successfully compiled by the CI. If there is a delay between the moment where
+you launch the pipeline and the moment you inspect the website, it may not be up-to-date.
+You can either serve the content locally on your machine (instructions are provided
+on the README of the website's repo), or by re-running the pages jobs on the relevant pipeline
\begin{itemize}
\item \texttt{index.html} must display:
--
GitLab