dune: keep etags as a dependency of the TAGS target

HoTT · Sep 18, 2023 · fded172 · fded172
1 parent 5933cd8
commit fded172
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dune b/dune
@@ -56,6 +56,7 @@
  (mode promote)
  (deps
   etc/emacs/run-etags.sh
+  %{bin:etags}
   (:vfile
    (glob_files_rec theories/*.v)
    (glob_files_rec contrib/*.v)))