Merge PR #12498: [dune] [dbg] Fix coqide target after CoqIDE move.

Reviewed-by: maximedenes

2 files changed, 2 insertions, 2 deletions

diff --git a/dev/dune b/dev/dune
index bdae51b434..a6d88c94d2 100644
--- a/dev/dune
+++ b/dev/dune
@@ -13,7 +13,7 @@
     dune-dbg.in
     ../checker/coqchk.bc
     ../topbin/coqc_bin.bc
-    ../ide/coqide_main.bc
+    ../ide/coqide/coqide_main.bc
     ; We require all the OCaml libs to be in place and searchable
     ; by OCamlfind, this is a bit of a hack but until Dune gets
     ; proper ocamldebug support we have to live with that.
diff --git a/dev/dune-dbg.in b/dev/dune-dbg.in
index 498f167eb1..47dfbad3a0 100755
--- a/dev/dune-dbg.in
+++ b/dev/dune-dbg.in
@@ -8,7 +8,7 @@ case $1 in
         ;;
     coqide)
         shift
-        exe=_build/default/ide/coqide_main.bc
+        exe=_build/default/ide/coqide/coqide_main.bc
         ;;
     coqc)
         shift