mirror of
https://github.com/curl/curl.git
synced 2026-08-26 14:03:35 +03:00
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
This commit is contained in:
parent
aa5a28bd69
commit
c543da9a50
5 changed files with 10 additions and 36 deletions
|
|
@ -28,7 +28,7 @@ curl --manual
|
|||
# Search for these two sentinel lines in the manual output; if they are found,
|
||||
# then chances are good the entire manual is there.
|
||||
<postcheck>
|
||||
perl -e 'open(IN,$ARGV[0]); my $lines=grep(/(a\s*tool\s*to\s*transfer\s*data)|(mailing\s*lists\s*to\s*discuss\s*curl)/, <IN>); exit ($lines != 2); # Let this file pass an XML syntax check: </IN>' log/stdout1026
|
||||
perl -e 'open(IN,$ARGV[0]); my $lines=grep(/(curl\s*-\s*transfer\sa\s*URL)|(CONTRIBUTORS)/, <IN>); exit ($lines != 2); # Let this file pass an XML syntax check: </IN>' log/stdout1026
|
||||
</postcheck>
|
||||
</client>
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue