md2mld: autogen instead of promte

Signed-off-by: Marcello Seri <[email protected]>
mirage · Nov 14, 2021 · 0f3edef · 0f3edef
1 parent fc3039d
commit 0f3edef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/dune b/docs/dune
@@ -4,7 +4,7 @@
  (action
   (progn
    (with-stdout-to
-    index.mld.new
+    index.mld
     (run %{bin:md2mld} %{deps})))))
 
 (documentation