]> https://gitweb.dealii.org/ - release-papers.git/commitdiff
update release tasks
authorTimo Heister <timo.heister@gmail.com>
Wed, 12 Jun 2019 09:35:06 +0000 (11:35 +0200)
committerTimo Heister <timo.heister@gmail.com>
Wed, 12 Jun 2019 09:35:06 +0000 (11:35 +0200)
release-tasks

index 667ab31fdf01ce20e77c1c79c162287d4e55a9bb..35556897227afadbc23b3cf5a532149fdca15953 100644 (file)
@@ -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
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.