Do not eat through comments starting with // at the very top of the file. The

idea was to remove the copyright header but the problem is that it also eats
the first block comment introduced with // if there is one before the first
actual line of code. This includes, in several programs, the heading for the
include files.

git-svn-id: https://svn.dealii.org/trunk@28675 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/doxygen/tutorial/program2doxygen b/deal.II/doc/doxygen/tutorial/program2doxygen
index dfb6452f712e225dc54047c3edcb673992d5f916..662bc8c749352030fa3e524d599d512a39b022ef 100644 (file)
--- a/deal.II/doc/doxygen/tutorial/program2doxygen
+++ b/deal.II/doc/doxygen/tutorial/program2doxygen
@@ -2,7 +2,7 @@
 #    $Id$
 #    Version: $Name$
 #
-#    Copyright (C) 2006, 2007, 2010 by the deal.II authors
+#    Copyright (C) 2006, 2007, 2010, 2013 by the deal.II authors
 #
 #    This file is subject to QPL and may not be  distributed
 #    without copyright and license information. Please refer
@@ -19,7 +19,7 @@ print " * <h1> The commented program</h1>\n";
 # ignore comments at the start of the program. this includes subversion
 # tags and copyright notices.
 $_ = <>;
-while ( m!^/[/\*]!  ||  m!\s*\*! || m/^$/ ) {
+while ( m!^/\*!  ||  m!\s*\*! || m/^$/ ) {
     $_ = <>;
 }
 
@@ -95,4 +95,3 @@ do {
 if ($state == $program_mode) {
    print " * \@endcode\n";
 }
-