diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2018-12-27 12:56:17 (EST) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2018-12-27 12:56:17 (EST) |
| commit | 98500eb7a049d05ea7cd1768519eeee13f90c4a8 (patch) | |
| tree | b4fce320f5a14fd7b1ddc7423614057101f0ea49 /tools | |
| parent | bb8c13fecf12969096cbbb00cc46cc2baf22b0df (diff) | |
man/local.mk: Make manual pages generation silent (by default)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions