From bc435abbce8bda16717440c0c5df061466eeada0 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 15 Jul 2022 03:40:11 -0400 Subject: [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. --- gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'gcc/ada/doc') 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 -- cgit v1.1