aboutsummaryrefslogtreecommitdiff
path: root/docs/cmdline-opts/gen.pl
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2016-12-16 22:02:47 +0100
committerDaniel Stenberg <daniel@haxx.se>2016-12-16 22:02:47 +0100
commitc7eab72de05aaedfb6689dfa0e3d0c578873c408 (patch)
tree20a401177b45651e5c801cbc24c03d653dad0af9 /docs/cmdline-opts/gen.pl
parent4b8b7a2d3647ebc8e774e75e4898b282dc2ca314 (diff)
curl.1: generated with gen.pl
This is the first time we replace the manually edited curt.1 with the generated one created by gen.pl and the individual option documentation pages. Do not edit this file, edit the individual pages and regenerate this output. This file will be generated by the build system soon and then removed from git.
Diffstat (limited to 'docs/cmdline-opts/gen.pl')
0 files changed, 0 insertions, 0 deletions