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