]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
improve comment formatting script
authorheister <heister@0785d39b-7218-0410-832d-ea1e28bc413d>
Sun, 13 Apr 2014 15:02:34 +0000 (15:02 +0000)
committerheister <heister@0785d39b-7218-0410-832d-ea1e28bc413d>
Sun, 13 Apr 2014 15:02:34 +0000 (15:02 +0000)
git-svn-id: https://svn.dealii.org/trunk@32771 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/contrib/utilities/wrapcomments.py

index 93b7d403d12d8b916a804dcf769410f79ddc6afc..8ee0ec6b73c0d50243b767884c1a4d711ea165dd 100755 (executable)
@@ -94,7 +94,7 @@ def format_block(lines, infostr=""):
 
     ops_startline = ["<li>", "@param", "@returns", "@warning", "@ingroup", "@author", "@date", "@related", "@deprecated"]
 
-    ops_separate_line = ["<ul>", "</ul>", "@{", "@}"]
+    ops_separate_line = ["<ol>", "</ol>", "<ul>", "</ul>", "@{", "@}", "<br>"]
 
     while idx<endidx:
         if one_in(ops_separate_line, lines[idx]):

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.