dump-header.d: spell out that no headers == empty file [ci skip]

Reported-by: wesinator at github
Fixes #3964
Closes #3974

diff --git a/docs/cmdline-opts/dump-header.d b/docs/cmdline-opts/dump-header.d
index 05c10affd4761a1e4516f9b46ee59c4e0694b958..33c6674e807c3b8718f230043f654996bd6af447 100644 (file)
--- 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.