diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2016-12-16 16:07:59 +0100 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2016-12-16 16:07:59 +0100 |
| commit | 7ebd9bcfc6f42946ae04b87e513db1194ea8e7a6 (patch) | |
| tree | f00e29fa36bd3edb63723f5cb3caf0d69ccb9501 | |
| parent | 845522cadb6ac9d357d68bb022a148a8c3be2e6a (diff) | |
cmdline-opts/page-header: mention it is generated
... to avoid people from trying to edit the pending curl.1 version that
gets generated by gen.pl
| -rw-r--r-- | docs/cmdline-opts/page-header | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/cmdline-opts/page-header b/docs/cmdline-opts/page-header index 4ba90f972..770af8da8 100644 --- a/docs/cmdline-opts/page-header +++ b/docs/cmdline-opts/page-header @@ -20,7 +20,9 @@ .\" * .\" ************************************************************************** .\" -.TH curl 1 "30 Nov 2014" "Curl 7.40.0" "Curl Manual" +.\" DO NOT EDIT. Generated by the curl project gen.pl man page generator. +.\" +.TH curl 1 "16 Dec 2016" "Curl 7.52.0" "Curl Manual" .SH NAME curl \- transfer a URL .SH SYNOPSIS |