From ca09d96574e6a321fa141182bfa7c18faa7cd627 Mon Sep 17 00:00:00 2001
From: Daniel Stenberg <daniel@haxx.se>
Date: Fri, 31 May 2019 23:09:54 +0200
Subject: [PATCH] dump-header.d: spell out that no headers == empty file [ci
 skip]

Reported-by: wesinator at github
Fixes #3964
Closes #3974
---
 docs/cmdline-opts/dump-header.d | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/cmdline-opts/dump-header.d b/docs/cmdline-opts/dump-header.d
index 05c10affd..33c6674e8 100644
--- a/docs/cmdline-opts/dump-header.d
+++ b/docs/cmdline-opts/dump-header.d
@@ -12,6 +12,8 @@ site sends to you. Cookies from the headers could then be read in a second
 curl invocation by using the --cookie option! The --cookie-jar option is a
 better way to store cookies.
 
+If no headers are received, the use of this option will create an empty file.
+
 When used in FTP, the FTP server response lines are considered being "headers"
 and thus are saved there.