diff --git a/docs/running_psalm/configuration.md b/docs/running_psalm/configuration.md index e09f4beec3d..72972652353 100644 --- a/docs/running_psalm/configuration.md +++ b/docs/running_psalm/configuration.md @@ -33,6 +33,12 @@ Configuration file may be split into several files using [XInclude](https://www. ``` +## Different configuration file + +You can also create a different configuration file, then run Psalm with: +```bash +vendor/bin/psalm --config=other-psalm-config.xml +``` ## Optional <psalm /> attributes