From 07fd621288602d9c48e9740a7aa0433a7a07259d Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Wed, 12 Jun 2019 11:27:17 +0200 Subject: [PATCH] address comments --- contrib/utilities/checkdoxygen.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5