diff options
| author | Christoph Zimmermann <monochromec@gmail.com> | 2023-10-26 15:36:42 +0200 |
|---|---|---|
| committer | Christoph Zimmermann <monochromec@gmail.com> | 2023-10-26 15:36:42 +0200 |
| commit | 8d63076aa77aa99113dd0e05adfc27efc8fcdcfb (patch) | |
| tree | 2d2f605f9f02ce3850104688ae6120ca636362a6 | |
| parent | cfd1e142b04661590278f032f1b654270b748748 (diff) | |
Fixed documentation
| -rw-r--r-- | docs/cmds.rst | 4 |
1 files changed, 4 insertions, 0 deletions
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 |