From: Fabian Castelli 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 ..

Note: However, under rare occasions an in-source build might be - useful or needed , so it is supported + useful or needed, so it is supported

 $ cmake .