aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2016-12-16 16:07:59 +0100
committerDaniel Stenberg <daniel@haxx.se>2016-12-16 16:07:59 +0100
commit7ebd9bcfc6f42946ae04b87e513db1194ea8e7a6 (patch)
treef00e29fa36bd3edb63723f5cb3caf0d69ccb9501
parent845522cadb6ac9d357d68bb022a148a8c3be2e6a (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-header4
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