From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 26 Feb 2020 15:54:46 +0000 (-0500)
Subject: doxygen: skip license header in step-xxb
X-Git-Tag: v9.2.0-rc1~499^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9569%2Fhead;p=dealii.git

doxygen: skip license header in step-xxb

We introduced tutorials like step-12b but we incorrectly print the
license header at the beginning of the "commented program". Filter those
out as well.
---

diff --git a/doc/doxygen/scripts/program2doxygen b/doc/doxygen/scripts/program2doxygen
index 5ec2cff918..e55a953a7b 100644
--- a/doc/doxygen/scripts/program2doxygen
+++ b/doc/doxygen/scripts/program2doxygen
@@ -14,10 +14,11 @@
 ## ---------------------------------------------------------------------
 
 
-# skip header lines at the top of the file, such as copyright notices 
-# and license information, if the file is a step-xx.cc tutorial. don't
-# skip for other files such as code-gallery files
-if ($ARGV[0] =~ /step-\d+.[cc|cu]/)
+# Skip header lines at the top of the file, such as copyright notices and
+# license information, if the file is a step-xx.cc or .cu tutorial. Here, xx
+# is either a number like step-32 or a number plus a letter like step-12b.
+# Don't skip for other files such as code-gallery files
+if ($ARGV[0] =~ /step-\d+[a-z]?.[cc|cu]/)
 {
   $_ = <>;
   while ( m!^/\*!  ||  m!\s*\*! || m/^$/ ) {