Issue 1475231: New doctest option: +SKIP (original) (raw)

Adds a new option & directive to doctest, SKIP, which can be used to selectively skip examples.

This can be useful in contexts where doctest examples serve as both documentation and test cases, and an example should be included for documentation purposes, but should not be checked. E.g., the example's output might be random; or the example might depend on resources which would be unavailable to the test driver. The SKIP flag can also be used for temporarily "commenting out" examples.

Patch includes updates to tests & documentation.