From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 12 Jun 2019 09:27:17 +0000 (+0200)
Subject: address comments
X-Git-Tag: v9.2.0-rc1~1431^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=07fd621288602d9c48e9740a7aa0433a7a07259d;p=dealii.git

address comments
---

diff --git a/contrib/utilities/checkdoxygen.py b/contrib/utilities/checkdoxygen.py
index 8c76d3d9db..e365a6ff77 100755
--- a/contrib/utilities/checkdoxygen.py
+++ b/contrib/utilities/checkdoxygen.py
@@ -3,7 +3,7 @@
 # run this script on all headers of deal.II to check various doxygen related problems
 
 # for example:
-# find doc examples include -name "*.h" -o -name "*.dox" -print | xargs -n 1 contrib/utilities/checkdoxygen.py
+# find doc examples include \( -name "*.h" -o -name "*.dox" \) -print | xargs -n 1 contrib/utilities/checkdoxygen.py
 
 
 import sys