Skip to content
Snippets Groups Projects
Commit 4bf59c78 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[doc] release manual

- update what the set-version script does
parent 477d5b5e
No related branches found
No related tags found
No related merge requests found
......@@ -79,6 +79,7 @@ This will:
\item update the \texttt{VERSION} and \texttt{VERSION\_CODENAME} files
\item update the \texttt{opam} files (Frama-C, lint, hdrck)
\item update the API doc
\item update the Frama-C build script
\end{itemize}
Merge the \texttt{stable} branch in the \texttt{master} branch.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment