*** empty log message ***

diff --git a/utils/db-mim.sh b/utils/db-mim.sh
index 8f928ed..c856aff 100755 (executable)
--- a/utils/db-mim.sh
+++ b/utils/db-mim.sh
@@ -13,7 +13,7 @@ M17N 
 EOF
 
 for file in $*; do
-  sed -n '/BEG-DOXYGEN/,/END-DOXYGEN/s/^;; //p' < $file
+  sed -n '/\/\*\*\*/,/\*\//s/^;; *//p' < $file
 done
 
 cat <<EOF