From a5b7ca5eadc5cf1c2e431ea8b540006ff063e5b8 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 24 Aug 2019 03:02:19 +0200
Subject: [dune] Migrate static Dune files to Dune 1.10

This improves error reporting. Addendum to #10515
---
 doc/sphinx/practical-tools/utilities.rst | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'doc/sphinx/practical-tools')

diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst
index 554f6bf230..47ecfb9db0 100644
--- a/doc/sphinx/practical-tools/utilities.rst
+++ b/doc/sphinx/practical-tools/utilities.rst
@@ -522,10 +522,7 @@ of your project.
         (flags :standard -warn-error -3-9-27-32-33-50)
         (libraries coq.plugins.cc coq.plugins.extraction))
 
-       (rule
-        (targets g_equations.ml)
-        (deps (:pp-file g_equations.mlg))
-        (action (run coqpp %{pp-file})))
+       (coq.pp (modules g_equations))
 
    And a Coq-specific part that depends on it via the ``libraries`` field:
 
-- 
cgit v1.2.3