aboutsummaryrefslogtreecommitdiff
path: root/Makefile.dist
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2019-02-19 10:02:27 +0100
committerDaniel Stenberg <daniel@haxx.se>2019-02-20 08:20:27 +0100
commitc543da9a5072801427a21b0d843d6a08bf48d119 (patch)
tree0ed0c69334e9aa5d271120b8ad0bd77af84db619 /Makefile.dist
parentaa5a28bd697d652f78ba471022092e148d0b6e4f (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