0001-install-the-documentation-with-the-debian-docs-file.patch
