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
