From 8745d67f0470467c968bbca7c80e17b568790a8c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 23 Oct 2020 13:56:44 +0200
Subject: [PATCH] Update opam doc link

---
 opam/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam/opam b/opam/opam
index 05d570cb7a6..2d1f5c5f6b2 100644
--- a/opam/opam
+++ b/opam/opam
@@ -65,7 +65,7 @@ authors: [
 homepage: "http://frama-c.com/"
 license: "GNU Lesser General Public License version 2.1"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-21.1-Scandium.pdf"
+doc: "http://frama-c.com/download/user-manual-22.0-beta-Titanium.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"
-- 
GitLab