aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2019-10-09 10:10:05 +0200
committerDaniel Stenberg <daniel@haxx.se>2019-10-09 10:10:05 +0200
commitb1ae7f9b7fec95a21ba85e8a1e344a921f0abb0a (patch)
treec0d1b44ac2febb223f1a30e6c08287e3372b5fd8
parent9e03faccc3d4b64b09061aeebda8270e27d9ed86 (diff)
docs: make sure the --no-progress-meter docs file is in dist too
-rw-r--r--docs/cmdline-opts/Makefile.inc3
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/cmdline-opts/Makefile.inc b/docs/cmdline-opts/Makefile.inc
index 6b4387475..c90e9c5fb 100644
--- a/docs/cmdline-opts/Makefile.inc
+++ b/docs/cmdline-opts/Makefile.inc
@@ -97,13 +97,14 @@ DPAGES = \
no-buffer.d \
no-keepalive.d \
no-npn.d \
+ no-progress-meter.d \
no-sessionid.d \
noproxy.d \
ntlm.d ntlm-wb.d \
oauth2-bearer.d \
output.d \
- pass.d \
parallel.d \
+ pass.d \
parallel-max.d \
path-as-is.d \
pinnedpubkey.d \