Update doc/sphinx/practical-tools/utilities.rst

coq · Apr 30, 2021 · d1de27a · d1de27a
1 parent 01a07f7
commit d1de27a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst
@@ -142,8 +142,8 @@ discouraged, since the contents of this file, including variable names and
 status of rules, may change in the future.
 
 Use the optional file ``CoqMakefile.local`` to extend
-``CoqMakefile``. In particular, you can declare custom actions to be
-performed before or after the build process. Similarly you can
+``CoqMakefile``. In particular, you can declare custom actions to
+run before or after the build process. Similarly you can
 customize the install target or even provide new targets. See
 :ref:`coqmakefilelocal` for extension-point documentation. To access
 variables defined in the ``Makefile`` in a way not covered by