From 89a6b4b18c3ad9e305bd42c1f121bbcff668ba40 Mon Sep 17 00:00:00 2001
From: handa <handa>
Date: Wed, 13 Sep 2006 08:07:06 +0000
Subject: [PATCH] *** empty log message ***

---
 utils/usr_filter.rb |   17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/utils/usr_filter.rb b/utils/usr_filter.rb
index 05e3fe8..10d4094 100755
--- a/utils/usr_filter.rb
+++ b/utils/usr_filter.rb
@@ -33,17 +33,24 @@ while gets
    
      when /^\/\*\s.*\*\//	# /* comment */ type comment
 	if doxy == 1		
-	buf.push($_.gsub!(/\*\//, " ").gsub!(/\/\*/, "//")) # should be included only in the example code
+	  # should be included only in the example code
+	  ## We used to do the following substituion as a workaround of
+	  ## a Doxygen bug.
+ 	  ## buf.push($_.gsub!(/\*\//, " ").gsub!(/\/\*/, "//"))
+	  buf.push($_)
 	end
 
      when /\/\*\s.*\*\//	# code + /* comment */ type comment
 	if doxy == 1		
-	buf.push($_.gsub!(/\*\//, " ").gsub!(/\/\*/, "//")) # should be included in the example code
+	  # should be included in the example code
+	  ## See the above comment.
+	  ## buf.push($_.gsub!(/\*\//, " ").gsub!(/\/\*/, "//"))
+	  buf.push($_) # should be included in the example code
 	else
           if doxy == 0 
-    	  commentblock(buf)
-    	  buf = []
-	  print $_.gsub!(/\/\*\s.*\*\//," ")	            # should be omiited in code
+	    commentblock(buf)
+ 	    buf = []
+ 	    print $_.gsub!(/\/\*\s.*\*\//," ") # should be omiited in code
 	  end
 	end
 
-- 
1.7.10.4