# File mod_docs/redirect.rb, line 37
  def set_doc_option(option)
  end