Patch #1475231:  add a new SKIP doctest option, thanks to
Edward Loper.
4 files changed