diff --git a/dev/doc/build-system.dune.md b/dev/doc/build-system.dune.md
index e5cd61f6655e..752451414a12 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.