From e56fba132cae4f8cad4e4259e2fac8a20d77d914 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 11 May 2022 09:57:01 +0200
Subject: [PATCH] Release doc, git tag for beta
---
doc/release/build.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/release/build.tex b/doc/release/build.tex
index ba457a846c2..e9533445693 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -85,7 +85,7 @@ There are many administrative steps, coordinated by the release manager.
to use a tilde \textasciitilde{} between the version number and \texttt{beta},
and not a dash \texttt{-}.
\item Create the last commit
-\item Create the tag using \texttt{git tag \$(cat VERSION)} and push it (e.g. via \texttt{git push origin \$(cat VERSION)})
+\item Create the tag using \texttt{git tag \$(cat VERSION | sed -e "s/~/-/")} and push it (e.g. via \texttt{git push origin \$(cat VERSION | sed -e "s/~/-/")})
\end{enumerate}
\section{Update the Documentation}\label{update_doc}
--
GitLab