diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2017-06-30 16:42:26 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2017-06-30 17:09:01 +0200 |
| commit | d24838d4da9faadee5fa954bbcee7a75bb43d12b (patch) | |
| tree | 12808c785573f1d322ffbd463afd0242b902c1b7 /scripts/coverage.sh | |
| parent | 0362c778418a7c0594dae5537f91247ca1dae289 (diff) | |
make: build the docs subdir only from within src
... and don't build at all in include
Prompted-by-work-by: Simon Warta
Ref: #1590
Closes #1591
Diffstat (limited to 'scripts/coverage.sh')
0 files changed, 0 insertions, 0 deletions