diff options
Diffstat (limited to 'tool/strip-rdoc.rb')
-rwxr-xr-x | tool/strip-rdoc.rb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tool/strip-rdoc.rb b/tool/strip-rdoc.rb index 1902cb538c..0ac9c39323 100755 --- a/tool/strip-rdoc.rb +++ b/tool/strip-rdoc.rb @@ -1,5 +1,8 @@ #!ruby +# Filter for preventing Doxygen from processing RDoc comments. +# Used by the Doxygen template. + ARGF.binmode source = ARGF.read source = source.gsub(%r{/\*([!*])((?!\*/).+?)\*/}m) do |comment| |