diff options
| author | Javier Jardón <jjardon@gnome.org> | 2015-02-11 12:41:53 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2015-02-11 12:41:53 +0000 |
| commit | bd86eb1a1e87ab85a7c8dbb658fa829ce69c252e (patch) | |
| tree | d2b4b86403c066cdc50aed4cc838ebf5cbef6d1f /gl/lib | |
| parent | f4be4ab02fe24ff4588bc61410bfd0debd6fb630 (diff) | |
| download | diffutils-baserock/v3.3.tar.gz | |
HACK to not build the docsbaserock/v3.3
There is a compilation problem with help2man:
make[1]: Entering directory `/diff.build/man'
GEN cmp.1
help2man: can't get '--help' info from cmp
Diffstat (limited to 'gl/lib')
0 files changed, 0 insertions, 0 deletions