From 133ee7ed9891fd7befd3c999b4788fa283dd5df3 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 13 May 2019 12:00:42 -0600
Subject: [PATCH] update release tasks

---
 release-tasks | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
 
 
-- 
2.39.5