diff options
author | Daniel Stenberg <daniel@haxx.se> | 2019-10-09 10:10:05 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2019-10-09 10:10:05 +0200 |
commit | b1ae7f9b7fec95a21ba85e8a1e344a921f0abb0a (patch) | |
tree | c0d1b44ac2febb223f1a30e6c08287e3372b5fd8 | |
parent | 9e03faccc3d4b64b09061aeebda8270e27d9ed86 (diff) |
docs: make sure the --no-progress-meter docs file is in dist too
-rw-r--r-- | docs/cmdline-opts/Makefile.inc | 3 |
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 \ |