From fc160177c0d918344a6c05434c3ab63d8d884730 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Mon, 13 May 2024 12:34:10 +0200
Subject: [PATCH] [release] Add beta in doc link

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

diff --git a/opam b/opam
index 53586a75eff..7de11ee3cd6 100644
--- a/opam
+++ b/opam
@@ -72,7 +72,7 @@ authors: [
 homepage: "https://frama-c.com/"
 license: "LGPL-2.1-only"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-29.0-Copper.pdf"
+doc: "http://frama-c.com/download/user-manual-29.0-beta-Copper.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"
-- 
GitLab