From 6a8e604da6e9ef7585107a687a40e97c19a6e316 Mon Sep 17 00:00:00 2001
From: m-holger <m-holger@kubitscheck.org>
Date: Mon, 23 May 2022 17:51:25 +0100
Subject: [PATCH] Fix minor doc typo

---
 manual/installation.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/installation.rst b/manual/installation.rst
index 7c416cb..e02380e 100644
--- a/manual/installation.rst
+++ b/manual/installation.rst
@@ -223,7 +223,7 @@ BUILD_DOC
 BUILD_DOC_HTML
   Visible when BUILD_DOC is selected. This option controls building
   HTML documentation separately from PDF documentation since
-  the sphinx theme only needed for the HTML documentation.
+  the sphinx theme is only needed for the HTML documentation.
 
 BUILD_DOC_PDF
   Visible when BUILD_DOC is selected. This option controls building
--
libgit2 0.21.4