# File mod_docs/cgi.rb, line 141
  def set_doc_option(option)
  end