From 7ebd9bcfc6f42946ae04b87e513db1194ea8e7a6 Mon Sep 17 00:00:00 2001 From: Daniel Stenberg 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(-) 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