From: Daniel Stenberg <daniel@haxx.se>
Date: Fri, 16 Dec 2016 15:07:59 +0000 (+0100)
Subject: cmdline-opts/page-header: mention it is generated
X-Git-Tag: curl-7_52_0~34
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=7ebd9bcfc6f42946ae04b87e513db1194ea8e7a6;p=thirdparty%2Fcurl.git

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 4ba90f972f..770af8da82 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