From 90bf804bd97419949cedf3ab8990ef15e5a78aac Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 4 Nov 2021 17:31:59 +0100 Subject: [PATCH] [relman] remove obsolete update BTS section --- doc/release/website.tex | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/doc/release/website.tex b/doc/release/website.tex index 075c481f781..b05f79ee771 100644 --- a/doc/release/website.tex +++ b/doc/release/website.tex @@ -159,21 +159,6 @@ in the website section should appear in the wiki but: and E-ACSL files are not in a sub-folder \texttt{e-acsl} on the wiki. -\section{Updating the BTS} - -\expertise{Usually Julien performs this step. Soon to be obsoleted.} - -Each task marked as \texttt{Resolved} and really resolved in this release (say -\texttt{VERSION}) must be marked as \texttt{Fixed in Version VERSION}, then -\texttt{Closed}. - -The just released \texttt{VERSION} must be marked as \texttt{released} in the -Section \texttt{manage} while an entry for the next one must be added (if not -already done). - -Finally have a look at each still opened task in order to see what should be -resolved in the next release. - \section{Other repositories to update} Check if other Frama-C (and related) repositories need to be updated: -- GitLab