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

diff --git a/docs/cmdline-opts/page-header b/docs/cmdline-opts/page-header
index 4ba90f972f105c48fd7fcd6ec907296b6b53eaff..770af8da8203f3f79071f864fc82791a9003bedf 100644 (file)
--- 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