Enable building code contracts for the purpose of generating documentation.