This repository has been archived on 2024-11-10. You can view files and clone it, but cannot push or open issues or pull requests.

Matthias Reichl 322cac5e6d diffutils: don't build docs ...

installing docs fails on jenkins and we only need the binaries,
so just disable docs.

Signed-off-by: Matthias Reichl <hias@horus.com>

2020-06-24 12:30:53 +02:00

..

diffutils-001-no-man-or-doc.patch

diffutils: don't build docs

2020-06-24 12:30:53 +02:00