class RDoc::RI::Driver

def add_extension_modules_single out, store, include # :nodoc:
  name = include.name
  path = store.friendly_path
  out << RDoc::Markup::Paragraph.new("#{name} (from #{path})")
  if include.comment then
    out << RDoc::Markup::BlankLine.new
    out << include.comment.parse
  end
end