From 55247d10bc60158099d72773f87d5a6deaed077e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Syn=C3=A1=C4=8Dek?= <jan.synacek@scrive.com>
Date: Fri, 3 Jun 2022 15:04:46 +0200
Subject: [PATCH] Fix documentation formatting of --ignore-project
---
doc/cabal-project.rst | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/cabal-project.rst b/doc/cabal-project.rst
index f548b968f2..1ef7c18a54 100644
--- a/doc/cabal-project.rst
+++ b/doc/cabal-project.rst
@@ -295,7 +295,7 @@ package, and thus apply globally:
This option cannot be specified via a ``cabal.project`` file.
--- option:: --ignore-project
+.. option:: --ignore-project
Ignores the local ``cabal.project`` file and uses the default
configuration with the local ``foo.cabal`` file. Note that
--
GitLab