From b56245945f58d91601c1aa1d20435ab59535e431 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 30 Sep 2019 09:15:45 +0200
Subject: [PATCH] [doc/release] clarification about local usage of opam
repository
---
doc/release/website.tex | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/doc/release/website.tex b/doc/release/website.tex
index 64ff8c38970..4f3700462cb 100644
--- a/doc/release/website.tex
+++ b/doc/release/website.tex
@@ -154,8 +154,8 @@ You'll need a GitHub account to create a pull request on the official opam repos
\item Create a new directory: \\
\texttt{packages/frama-c/frama-c.<version>} \\
\item Copy the file \texttt{opam/opam} from the release
- to the opam repository clone in
- \texttt{packages/frama-c/frama-c.<version>/opam}.
+ to the opam repository clone in: \\
+ \texttt{packages/frama-c/frama-c.<version>/opam}
\item Compute the MD5sum of the .tar.gz file and update the \texttt{opam} file
with the following entry:
\begin{verbatim}
@@ -175,6 +175,11 @@ opam install frama-c
\end{verbatim}
(of course, if you already create a local switch before and it uses your
local version of the repository, you just have to switch to it).
+
+\textbf{Note:} uncommitted changes are ignored by \texttt{opam repository};
+you have to locally commit them before \texttt{opam update} will take them into
+account.
+
\item Create a branch with any name you want (e.g. frama-c.<version>) and push it to your remote Github
\item Create a pull request to opam-repository. If all tests pass,
someone from opam should merge it for you.
--
GitLab