diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2017-05-08 15:10:09 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2017-05-08 15:11:11 +0200 |
| commit | 78007305203140162f567fd611182cfc41ac51dd (patch) | |
| tree | 22fd540a9117ee900655d136e56f63d784496cbc /docs/cmdline-opts/interface.d | |
| parent | f27c884be8c35287569b7fc909c9a2455d5e38e3 (diff) | |
curl.1: depend the build on the Makefile.inc too
... to also make it update when we remove files, like we did for
--environment in commit a8e388dd1095.
Diffstat (limited to 'docs/cmdline-opts/interface.d')
0 files changed, 0 insertions, 0 deletions