* [PATCH] GDB/doc: Remove indentation from `print -elements' completion example
@ 2022-07-01 15:15 Maciej W. Rozycki
2022-07-01 15:47 ` Eli Zaretskii
0 siblings, 1 reply; 3+ messages in thread
From: Maciej W. Rozycki @ 2022-07-01 15:15 UTC (permalink / raw)
To: gdb-patches
Remove indentation from the text of the manual after the example here:
" Completion will in some cases guide you with a suggestion of what
kind of argument an option expects. For example:
(gdb) print -elements <TAB><TAB>
NUMBER unlimited
Here, the option expects a number (e.g., '100'), not literal
'NUMBER'. Such metasyntactical arguments are always presented in
uppercase."
as this is a continuation of the same paragraph.
---
Hi,
Also spotted while making documentation updates for "NUMBER" completion.
OK to apply?
Maciej
---
gdb/doc/gdb.texinfo | 1 +
1 file changed, 1 insertion(+)
gdb-doc-completion-option-meta-indent.diff
Index: src/gdb/doc/gdb.texinfo
===================================================================
--- src.orig/gdb/doc/gdb.texinfo
+++ src/gdb/doc/gdb.texinfo
@@ -2176,6 +2176,7 @@ Completion will in some cases guide you
NUMBER unlimited
@end smallexample
+@noindent
Here, the option expects a number (e.g., @code{100}), not literal
@code{NUMBER}. Such metasyntactical arguments are always presented in
uppercase.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] GDB/doc: Remove indentation from `print -elements' completion example
2022-07-01 15:15 [PATCH] GDB/doc: Remove indentation from `print -elements' completion example Maciej W. Rozycki
@ 2022-07-01 15:47 ` Eli Zaretskii
2022-07-01 16:13 ` Maciej W. Rozycki
0 siblings, 1 reply; 3+ messages in thread
From: Eli Zaretskii @ 2022-07-01 15:47 UTC (permalink / raw)
To: Maciej W. Rozycki; +Cc: gdb-patches
> Date: Fri, 1 Jul 2022 16:15:36 +0100 (BST)
> From: "Maciej W. Rozycki" <macro@embecosm.com>
>
> Also spotted while making documentation updates for "NUMBER" completion.
>
> OK to apply?
Yes, thanks.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] GDB/doc: Remove indentation from `print -elements' completion example
2022-07-01 15:47 ` Eli Zaretskii
@ 2022-07-01 16:13 ` Maciej W. Rozycki
0 siblings, 0 replies; 3+ messages in thread
From: Maciej W. Rozycki @ 2022-07-01 16:13 UTC (permalink / raw)
To: Eli Zaretskii; +Cc: gdb-patches
On Fri, 1 Jul 2022, Eli Zaretskii wrote:
> > Also spotted while making documentation updates for "NUMBER" completion.
> >
> > OK to apply?
>
> Yes, thanks.
Thanks, committed.
Maciej
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2022-07-01 16:13 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-07-01 15:15 [PATCH] GDB/doc: Remove indentation from `print -elements' completion example Maciej W. Rozycki
2022-07-01 15:47 ` Eli Zaretskii
2022-07-01 16:13 ` Maciej W. Rozycki
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).