diff options
| author | Eric Wong <e@80x24.org> | 2019-05-07 20:40:28 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2019-05-08 22:56:34 +0000 |
| commit | e50b4ffa4ac7ac07cd4922459b292734b0e370bd (patch) | |
| tree | b4456affedabd66ef169af1a4d043d91593cc265 /ci/profiles.sh | |
| parent | 5af9839f734c4eb5c0982c6b75e1425c3187f88f (diff) | |
| download | public-inbox-e50b4ffa4ac7ac07cd4922459b292734b0e370bd.tar.gz | |
We can fix the redundant rule in include.mk which causes make(1) on FreeBSD to complain; but HTML docs will likely still require GNU make.
Diffstat (limited to 'ci/profiles.sh')
0 files changed, 0 insertions, 0 deletions