From: heister <heister@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sun, 13 Apr 2014 15:02:34 +0000 (+0000)
Subject: improve comment formatting script
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=70bbf01ddf61466fe4b3be555cb53af337c35a7d;p=dealii-svn.git

improve comment formatting script

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

diff --git a/deal.II/contrib/utilities/wrapcomments.py b/deal.II/contrib/utilities/wrapcomments.py
index 93b7d403d1..8ee0ec6b73 100755
--- a/deal.II/contrib/utilities/wrapcomments.py
+++ b/deal.II/contrib/utilities/wrapcomments.py
@@ -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]):