# File mod_docs/cgi.rb, line 141
def
set_doc_option
(
option
)
end