- when /\/\*\s.*\*\// # code + /* comment */ type comment
- if doxy == 1
- buf.push($_.gsub!(/\*\//, " ").gsub!(/\/\*/, "//")) # should be included in the example code
- else
+ when /^\/\*\s.*\*\// # /* comment */ type comment
+# if doxy == 1
+# # 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
+# # 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