Merge PR coq#19947: Link wiki page about ocamldebug in build-system.md

Reviewed-by: proux01 Co-authored-by: proux01 <[email protected]>
SkySkimmer · Dec 18, 2024 · eafed8f · eafed8f
2 parents ccaa8d9 + f058840
commit eafed8f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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.