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