From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 12 Jun 2019 09:35:06 +0000 (+0200)
Subject: update release tasks
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c62b83ebc2ea28269c3139278b35c4e7985a8b88;p=release-papers.git

update release tasks
---

diff --git a/release-tasks b/release-tasks
index 667ab31..3555689 100644
--- a/release-tasks
+++ b/release-tasks
@@ -198,7 +198,7 @@ Contributors for 9.1: (updated 2019-05-12)
 
 
 0b/ Check for doxygen formatting problems by running contrib/utilities/checkdoxygen.py:
-      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
 +
     and push the corresponding changes