Fix-several-minor-glitches-of-the-manpage.patch
Add-missing-library-for-Debian-GNU-Hurd.patch
Dont-install-the-license-file.patch
Dont-create-an-empty-directory-usr-bin.patch
Remove-the-HTML-doc-installation.patch
