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 93b7d403d12d8b916a804dcf769410f79ddc6afc..8ee0ec6b73c0d50243b767884c1a4d711ea165dd 100755 (executable)
--- 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]):