page()
Paginates output through a pager program.
# File lib/rdoc/ri/driver.rb, line 1077 def page if pager = setup_pager then begin yield pager ensure pager.close end else yield $stdout end rescue Errno::EPIPE ensure @paging = false end