From 8255a01390c8270b5c6f232b76f14db44514fccc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Sat, 25 Jan 2025 17:53:48 +0100
Subject: [PATCH] Link to packaging tutorial for Coq until we import it in the
Rocq website (#61).
---
src/rocqproverorg_frontend/pages/packages.eml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/rocqproverorg_frontend/pages/packages.eml b/src/rocqproverorg_frontend/pages/packages.eml
index f040638d..e2370332 100644
--- a/src/rocqproverorg_frontend/pages/packages.eml
+++ b/src/rocqproverorg_frontend/pages/packages.eml
@@ -137,7 +137,7 @@ in
<h2 class="font-bold text-2xl text-white dark:text-dark-title mb-2">Start Contributing</h2>
<p class="text-xl text-white dark:text-dark-title mb-5">Learn how to publish your first Opam package today and make it available to the rest of the community.</p>
<div class="flex max-w-[17rem]">
- <%s! Hero_section.hero_button ~left_icon:(Icons.pencil_note "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Publish a Package") ~href:("https://opam.ocaml.org/doc/Packaging.html") "" %>
+ <%s! Hero_section.hero_button ~left_icon:(Icons.pencil_note "w-5 h-5") ~right_icon:(Icons.link "w-5 h-5") ~text:("Publish a Package") ~href:("https://coq.inria.fr/opam-packaging.html") "" %>
</div>
</div>
<div class="hidden md:flex w-[18rem] h-[18rem] mr-16 py-8">