diff options
author | Arnaud Charlet <charlet@adacore.com> | 2022-07-15 03:40:11 -0400 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:20:59 +0200 |
commit | bc435abbce8bda16717440c0c5df061466eeada0 (patch) | |
tree | d0b7dab4613023ca6e2ef8cfbb14bc93197486d8 /gcc/ada/doc | |
parent | 092763fd0c069f3a7c05a65238d3815e8daab76b (diff) | |
download | gcc-bc435abbce8bda16717440c0c5df061466eeada0.zip gcc-bc435abbce8bda16717440c0c5df061466eeada0.tar.gz gcc-bc435abbce8bda16717440c0c5df061466eeada0.tar.bz2 |
[Ada] Fix syntax in documentation
Leading to a poorly formatted example section.
gcc/ada/
* doc/gnat_ugn/gnat_and_program_execution.rst: Fix rest syntax
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc')
-rw-r--r-- | gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst index 3cc625e..0d78e43 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst @@ -844,9 +844,7 @@ assorted runtime routines and the output will vary from platform to platform. It is also possible to use ``GDB`` with these traceback addresses to debug the program. For example, we can break at a given code location, as reported -in the stack traceback: - - :: +in the stack traceback:: $ gdb -nw stb @@ -870,9 +868,8 @@ Executables on recent Windows versions, in other words without using the switch with :switch:`--load` instead of the ``addr2line`` tool. The main difference is that you need to copy the Load Address output in the traceback ahead of the sequence of addresses. And the default mode of ``gnatsymbolize`` is equivalent -to that of ``addr2line`` with the above switches, so none of them is needed: +to that of ``addr2line`` with the above switches, so none of them is needed:: - :: $ gnatmake stb -g -bargs -E $ stb |