diff --git a/doc/release/website.tex b/doc/release/website.tex index 075c481f7815f78d499414d9e0c5d9f03fd1f9b6..b05f79ee771bd88cc92dfdb8b8c48a0eba7fc23f 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: