Made option record for gapdoc set by default.

Otherwise, if no scaffold is enabled, this would have lead to
an unset variable.