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