From: Timo Heister 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