From f058840626be6b0caa5cc018493f4ba51be0531c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Tue, 17 Dec 2024 17:04:29 +0100
Subject: [PATCH] Link wiki page about ocamldebug in build-system.md

---
 dev/doc/build-system.dune.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dev/doc/build-system.dune.md b/dev/doc/build-system.dune.md
index 4c27a39f57aa..710eb635dc3f 100644
--- a/dev/doc/build-system.dune.md
+++ b/dev/doc/build-system.dune.md
@@ -214,6 +214,8 @@ dune exec -- dev/dune-dbg checker foo.vo
 (ocd) source db
 ```
 
+More info in the [wiki](https://github.com/coq/coq/wiki/OCamldebug).
+
 Unfortunately, dependency handling is not fully refined / automated,
 you may find the occasional hiccup due to libraries being renamed,
 etc... Please report any issue.