From 4d3912f705828c03a45875681fe881a137cdc5a6 Mon Sep 17 00:00:00 2001 From: "Yevhen Babiichuk (DustDFG)" Date: Tue, 12 Nov 2024 21:02:53 +0200 Subject: [PATCH] Docs: Add metnion of `no_progress` option when user passes -Q Accordingly to changes to 4.0.0 --- doc/user/command-line.xml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/user/command-line.xml b/doc/user/command-line.xml index c0a3c0c55..a6a7e9575 100644 --- a/doc/user/command-line.xml +++ b/doc/user/command-line.xml @@ -556,6 +556,11 @@ foo.in + + no_progress + + + no_site_dir