where implicit @cite{pragma Elaborate} and @cite{pragma Elaborate_All}
are generated. This is useful in diagnosing elaboration circularities
caused by these implicit pragmas when using the static elaboration
-model. See See the section in this guide on elaboration checking for
+model. See the section in this guide on elaboration checking for
further details. These messages are not generated by default, and are
intended only for temporary use when debugging circularity problems.
@end table
@item
@strong{Run_Path_Origin}: single
-Value is the the string that may replace the path name of the executable
+Value is the string that may replace the path name of the executable
directory in the run path options.
@item
@item
@strong{Shared_Library_Suffix}: single
-Value is the the extension of the name of shared library files. When not
+Value is the extension of the name of shared library files. When not
declared, the extension is ".so".
@item