From 3ad1ea073ea58daaf258c88b651060cdb887f206 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@tezos.com>
Date: Tue, 17 Apr 2018 13:46:57 +0200
Subject: [PATCH] Doc: some opam-foo advices

---
 docs/introduction/howto.rst | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/docs/introduction/howto.rst b/docs/introduction/howto.rst
index 86d2740bf..2a61a93a1 100644
--- a/docs/introduction/howto.rst
+++ b/docs/introduction/howto.rst
@@ -67,6 +67,18 @@ you have a recent version of libsodium and libsodium-dev, or download
 and install them from, eg, https://pkgs.org/download/libsodium18 and
 https://pkgs.org/download/libsodium-dev
 
+If after a ``git pull``, the build fails (either at ``make
+build-deps`` or ``make``), you might try to clean up a little bit the
+opam internal state with the following commands:
+
+::
+
+    opam update
+    opam pin list -s | xargs opam pin remove
+    make build-deps
+    make
+
+
 Running the node
 ----------------