diff options
| author | jvoisin | 2023-09-20 14:57:05 +0200 |
|---|---|---|
| committer | jvoisin | 2023-09-20 14:57:05 +0200 |
| commit | 688fe2f4f1a10485628521af1f3c8f6c6afd79b6 (patch) | |
| tree | 4326e9988a369a66acf2c91df54bfd15018a483e /doc/source | |
| parent | f672fa54b5c2b6ee9b4e5bf9ab833fc542b75d78 (diff) | |
Improve a bit the documentation
Based on a suggestion from @dimitargi
Diffstat (limited to 'doc/source')
| -rw-r--r-- | doc/source/config.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/source/config.rst b/doc/source/config.rst index 0b8b737..67014ad 100644 --- a/doc/source/config.rst +++ b/doc/source/config.rst | |||
| @@ -73,7 +73,8 @@ Rules can be split into lines and contain whitespace for easier readability and | |||
| 73 | The terminating ``;`` is optional for now, but it should be used for future compatibility. | 73 | The terminating ``;`` is optional for now, but it should be used for future compatibility. |
| 74 | 74 | ||
| 75 | Rules, including comments, needs to be written in ASCII, other encodings aren't | 75 | Rules, including comments, needs to be written in ASCII, other encodings aren't |
| 76 | supported and might cause syntax errors and related issues. | 76 | supported and might cause syntax errors and related issues like making |
| 77 | all rules after non-ASCII symbols not considered for execution and silently discarded. | ||
| 77 | 78 | ||
| 78 | Miscellaneous | 79 | Miscellaneous |
| 79 | ------------- | 80 | ------------- |