mirror of
git://git.gnupg.org/gnupg.git
synced 2025-07-02 22:46:30 +02:00
doc: Use the right reference commands.
* doc/debugging.texi, doc/gpg-agent.texi, doc/gpg.texi, doc/gpgsm.texi, doc/tools.texi: Fix.
This commit is contained in:
parent
20a27d8a57
commit
f32689f833
5 changed files with 11 additions and 12 deletions
|
@ -811,7 +811,7 @@ case a short name is not known.
|
|||
@item default
|
||||
This field is defined only for options for which the @code{default} or
|
||||
@code{default desc} flag is set. If the @code{default} flag is set,
|
||||
its format is that of an @emph{option argument} (@xref{Format
|
||||
its format is that of an @emph{option argument} (@pxref{Format
|
||||
conventions}, for details). If the default value is empty, then no
|
||||
default is known. Otherwise, the value specifies the default value
|
||||
for this option. If the @code{default desc} flag is set, the field is
|
||||
|
@ -821,7 +821,7 @@ not given.
|
|||
@item argdef
|
||||
This field is defined only for options for which the @code{optional
|
||||
arg} flag is set. If the @code{no arg desc} flag is not set, its
|
||||
format is that of an @emph{option argument} (@xref{Format
|
||||
format is that of an @emph{option argument} (@pxref{Format
|
||||
conventions}, for details). If the default value is empty, then no
|
||||
default is known. Otherwise, the value specifies the default argument
|
||||
for this option. If the @code{no arg desc} flag is set, the field is
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue