From: Timo Heister <timo.heister@gmail.com>
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=refs%2Fpull%2F9658%2Fhead;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('<h')[1]     # remove header tag '<h'
+
+            if thisheader[0] == '2':
+                # We do not use <h2> headers in tutorials because our script
+                # does not put them in the table of contents (for historical
+                # reasons). Instead, please use <h3>, <h4>, etc..
+                sys.exit("Error: Header <h2> detected in file '%s'. This is"
+                         " not allowed in tutorial programs. Please use <h3>"
+                         " 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('</h'))==2:    # check for close header on the same line