*: standardize "command-line" (#10300)

2023-05-30 20:37:28 +02:00
parent 52447db138
commit d8991be0e8
27 changed files with 29 additions and 29 deletions
--- a/pages/common/gnatprep.md
+++ b/pages/common/gnatprep.md
@@ -7,6 +7,6 @@

 `gnatprep {{source_file}} {{target_file}} {{definitions_file}}`

- Specify symbol values in the command line:
+- Specify symbol values in the command-line:

 `gnatprep -D{{name}}={{value}} {{source_file}} {{target_file}}`