# File mod_docs/local.rb, line 411
  def set_doc_option(option)
  end