- """ Remove _option_ as a document option.
-
- It is assumed that option belongs to the \options.
- That can be done running is_document_option(document, option)."""
-
- options_line = find_token(document.header, "\\options", 0)
- option_pos = document.header[options_line].find(option)
-
- # Remove option from \options
- comma_before_pos = document.header[options_line].rfind(',', 0, option_pos)
- comma_after_pos = document.header[options_line].find(',', option_pos)