+ # 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