doc-build-redirection.patch
separate-build-docs.patch
test-some-examples.patch
