From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Sat, 7 Aug 2021 17:10:07 +0000 (+0200)
Subject: Comma spacing
X-Git-Tag: v9.4.0-rc1~1094^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a98d75dd64d752044cd1cee8d072f5d73f3075ef;p=dealii.git

Comma spacing
---

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>