1 files changed, 1 insertions, 9 deletions
diff --git a/vernac/dune b/vernac/dune
index 45b567d631..ba361b1377 100644
--- a/vernac/dune
+++ b/vernac/dune
@@ -5,12 +5,4 @@
  (wrapped false)
  (libraries tactics parsing))
 
-(rule
- (targets g_proofs.ml)
- (deps (:mlg-file g_proofs.mlg))
- (action (run coqpp %{mlg-file})))
-
-(rule
- (targets g_vernac.ml)
- (deps (:mlg-file g_vernac.mlg))
- (action (run coqpp %{mlg-file})))
+(coq.pp (modules g_proofs g_vernac))