change_docs_theme.patch
0002-add-g-parameter-to-pygmentize-man-page.patch
0003-docs-moved-to-python-pygments-doc-binary-package.patch
