diff options
author | Daniel Stenberg <daniel@haxx.se> | 2019-02-19 10:02:27 +0100 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2019-02-20 08:20:27 +0100 |
commit | c543da9a5072801427a21b0d843d6a08bf48d119 (patch) | |
tree | 0ed0c69334e9aa5d271120b8ad0bd77af84db619 /Makefile.dist | |
parent | aa5a28bd697d652f78ba471022092e148d0b6e4f (diff) |
curl: remove MANUAL from -M output
... and remove it from the dist tarball. It has served its time, it
barely gets updated anymore and "everything curl" is now convering all
this document once tried to include, and does it more and better.
In the compressed scenario, this removes ~15K data from the binary,
which is 25% of the -M output.
It remains in the git repo for now for as long as the web site builds a
page using that as source. It renders poorly on the site (especially for
mobile users) so its not even good there.
Closes #3587
Diffstat (limited to 'Makefile.dist')
0 files changed, 0 insertions, 0 deletions