From 8d63076aa77aa99113dd0e05adfc27efc8fcdcfb Mon Sep 17 00:00:00 2001 From: Christoph Zimmermann Date: Thu, 26 Oct 2023 15:36:42 +0200 Subject: [PATCH] Fixed documentation --- docs/cmds.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/cmds.rst b/docs/cmds.rst index 7ab1ef49..cffeb153 100644 --- a/docs/cmds.rst +++ b/docs/cmds.rst @@ -22,6 +22,10 @@ Command-Line Options path to the configuration file +.. option:: -P plugin directory, --plugins plugin directory + + path to a directory containing additional plugins + .. option:: --modules-list display modules (plugins & exports) list and exit