From 25e436016970443226d0ec19cf74ac8476369b33 Mon Sep 17 00:00:00 2001 From: Maciej Olko Date: Fri, 3 Feb 2023 10:34:35 +0100 Subject: [PATCH] Add two new options in cmdline.rst docs (#963) Added in #720 and #832. --- docs/cmdline.rst | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/cmdline.rst b/docs/cmdline.rst index 91dc4fe72..8d9742fbf 100644 --- a/docs/cmdline.rst +++ b/docs/cmdline.rst @@ -125,6 +125,12 @@ a collection of source files:: --input-dirs=INPUT_DIRS alias for input-paths (does allow files as well as directories). + --ignore-dirs=IGNORE_DIRS + Patterns for directories to ignore when scanning for + messages. Separate multiple patterns with spaces + (default ".* ._") + --header-comment=HEADER_COMMENT + header comment for the catalog init