From: Timo Heister Date: Fri, 13 Mar 2020 12:59:42 +0000 (-0400) Subject: disallow h2 in tutorial headers X-Git-Tag: v9.2.0-rc1~412^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cf477d1117fce09c01b7d6713fb9a954624002cf;p=dealii.git disallow h2 in tutorial headers --- 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('