From: Timo Heister Date: Mon, 13 May 2019 18:00:42 +0000 (-0600) Subject: update release tasks X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=133ee7ed9891fd7befd3c999b4788fa283dd5df3;p=release-papers.git update release tasks --- diff --git a/release-tasks b/release-tasks index bea5b16..e684f9b 100644 --- a/release-tasks +++ b/release-tasks @@ -198,7 +198,8 @@ Contributors for 9.1: (updated 2019-05-12) 0b/ Check for doxygen formatting problems by running contrib/utilities/checkdoxygen.py: - find include -name "*.h" -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