Merge PR #11529: [build] Consolidate stdlib's .v files under a single directory.

Reviewed-by: Zimmi48

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/sphinx/proof-engine/tactics.rst b/doc/sphinx/proof-engine/tactics.rst
index 36a5916868..2fa4f1fa42 100644
--- a/doc/sphinx/proof-engine/tactics.rst
+++ b/doc/sphinx/proof-engine/tactics.rst
@@ -275,7 +275,7 @@ These patterns can be used when the hypothesis is an equality:
    :n:`or` has multiple constructors (:n:`or_introl` and :n:`or_intror`),
    while :n:`and` has a single constructor (:n:`conj`) with multiple parameters
    (:n:`A` and :n:`B`).
-   These are defined in theories/Init/Logic.v.  The "where" clauses define the
+   These are defined in ``theories/Init/Logic.v``.  The "where" clauses define the
    infix notation for "or" and "and".
 
    .. coqdoc::