diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2011-11-19 16:02:03 -0500 |
|---|---|---|
| committer | Artem Bityutskiy <Artem.Bityutskiy@intel.com> | 2011-11-22 23:31:24 +0200 |
| commit | 4ff3ab5a610fc150ec50bf16b1fb0b0c00e281a2 (patch) | |
| tree | 8c57586f8f7abc3eef4e4103460a08c8b37b2e91 /tests/jittertest/.gitignore | |
| parent | 952f4b15bd0bbcd2d7ef1a60e316fab309dcce5a (diff) | |
Makefile: separate man page install and compression steps
If the system doesn't have gzip installed, we should still be able
to install the man pages. So install the file in one step, and then
compress it in another (and ignore failures from that).
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Signed-off-by: Artem Bityutskiy <Artem.Bityutskiy@intel.com>
Diffstat (limited to 'tests/jittertest/.gitignore')
0 files changed, 0 insertions, 0 deletions