Fix a minor issue in the user's guide

(no-issue-check) Merge request eng/gpr/gprbuild!119 from branch 'mr/fix-minor-doc-issue' into 'master'
AdaCore · Nov 4, 2024 · dab4a6e · dab4a6e
2 parents 13c0e6a + 8cb5b80
commit dab4a6e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/gprbuild_ug/companion_tools.rst b/doc/gprbuild_ug/companion_tools.rst
@@ -1710,7 +1710,7 @@ Package Linker
 * Required_Switches
 
   Specifies the minimum options to be used when invoking the linker. Those
-  options are happened at the end of the link command so that potentially
+  options are appended at the end of the link command so that potentially
   conflicting user options take precedence.
 
 * Map_File_Option