From a98d75dd64d752044cd1cee8d072f5d73f3075ef Mon Sep 17 00:00:00 2001
From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Sat, 7 Aug 2021 19:10:07 +0200
Subject: [PATCH] Comma spacing

---
 doc/users/cmake_dealii.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/users/cmake_dealii.html b/doc/users/cmake_dealii.html
index 2841759bbc..ff4b7bde95 100644
--- a/doc/users/cmake_dealii.html
+++ b/doc/users/cmake_dealii.html
@@ -325,7 +325,7 @@ $ cmake ..
 
     <p>
       <b>Note:</b> However, under rare occasions an in-source build might be
-      useful or needed , so it is supported
+      useful or needed, so it is supported
 <pre class="cmake">
 $ cmake .
 </pre>
-- 
2.39.5