From cf477d1117fce09c01b7d6713fb9a954624002cf Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Fri, 13 Mar 2020 08:59:42 -0400 Subject: [PATCH] disallow h2 in tutorial headers --- contrib/utilities/checkdoxygen.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/contrib/utilities/checkdoxygen.py b/contrib/utilities/checkdoxygen.py index 6638355918..2b21bb556a 100755 --- a/contrib/utilities/checkdoxygen.py +++ b/contrib/utilities/checkdoxygen.py @@ -59,6 +59,15 @@ def check_multiple_defined_headers(lines): thisheader = l # take this line thisheader = thisheader.replace(' ', '') # remove all whitespace thisheader = thisheader.split(' headers in tutorials because our script + # does not put them in the table of contents (for historical + # reasons). Instead, please use

,

, etc.. + sys.exit("Error: Header

detected in file '%s'. This is" + " not allowed in tutorial programs. Please use

" + " instead." % (filename)) + if thisheader[0] in ['1', '2', '3', '4', '5']: # make sure the next character is 1-5 thisheader = thisheader[2:] # remove '*>' if len(thisheader.split('