aboutsummaryrefslogtreecommitdiff
path: root/docs/cmdline-opts/page-header
AgeCommit message (Collapse)Author
2018-04-23curl.1: clarify that options and URLs can be mixedDaniel Stenberg
Fixes #2515 Closes #2517
2017-01-07docs/page-header: mention how to disable the progress meterDaniel Stenberg
curl.1 is regenerated Fixes #1190
2016-12-16cmdline-opts/page-header: mention it is generatedDaniel Stenberg
... to avoid people from trying to edit the pending curl.1 version that gets generated by gen.pl
2016-11-13cmdline-opts: first test version of a new man page generator kitDaniel Stenberg
See MANPAGE.md for the description of how this works. Each command line option is now described in a separate .d file.