build-prod-docs.patch
fix-install-dir-of-completion-files.patch
drop-system-id-for-docbook-entities.patch
fix-handling-of-screen.patch
keep-pi-from-po.patch
Fix-incorrect-import-of-File-Spec.patch
Avoid-a-warning-about-duplicate-help-option.patch
