From 7ebd9bcfc6f42946ae04b87e513db1194ea8e7a6 Mon Sep 17 00:00:00 2001
From: Daniel Stenberg <daniel@haxx.se>
Date: Fri, 16 Dec 2016 16:07:59 +0100
Subject: 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
---
 docs/cmdline-opts/page-header | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'docs/cmdline-opts')

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
-- 
cgit v1.2.3