]> https://gitweb.dealii.org/ - dealii.git/commitdiff
doxygen: remove trailing // in tutorials 7135/head
authorTimo Heister <timo.heister@gmail.com>
Fri, 31 Aug 2018 14:08:59 +0000 (10:08 -0400)
committerTimo Heister <timo.heister@gmail.com>
Fri, 31 Aug 2018 14:08:59 +0000 (10:08 -0400)
We introduced "//" markers (see for example "shape_grad" lines in
step-8) to force a specific formatting for clang-format. Make sure we
don't output these markers to the tutorial pages.

doc/doxygen/scripts/program2doxygen
doc/doxygen/scripts/program2plain

index 23c360f521c7701e02acf991b6ec277d2b5bcbe9..ffb36df9b8b5fd59695c90cd4314d29df9adac79 100644 (file)
@@ -37,13 +37,19 @@ $state =  $comment_mode;
 print " * \n";
 
 do {
-    # substitute tabs. also make sure that we don't output comment end
-    # markers that might confuse doxygen
+
+    # Make sure that we don't output comment end markers that might confuse
+    # doxygen.
     s!/\*!/ \*!g;
     s!\*/!\* /!g;
 
+    # substitute tabs
     s/\t/        /g;
 
+    # Remove "//" if it is present at the end of a line. These comments exist
+    # to force a specific formatting of the line for clang-format.
+    s!//$!!g;
+
     # We are entering code fragments
     if (($state != $code_fragment_mode) && m!^\s*//\s*\@code!)
     {
index d267fa241c42da9a7e6834f84a0ad571cf43a20b..a1912dbdcc8e79b7aa5bcc68ef5b97740b8ccdb3 100644 (file)
 
 # Remove all comments from the source file
 
-# The variable tracing whether we are inside a block comment
+# The output of this script is used as the source for the "The plain program"
+# block at the end of each tutorial.
 
-my $block_comment = 0;
 while (<>) {
-    # Eliminate //-comment lines
+    # Eliminate comment lines starting with "//"
     next if (m!^\s*//!);
 
+    # Remove "//" if it is present at the end of a line. These comments exist
+    # to force a specific formatting of the line for clang-format
+    s!//$!!g;
+
     # Otherwise print the line
     print;
 }      

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.