diff options
author | Ineiev <[email protected]> | 2016-03-04 15:51:22 +0000 |
---|---|---|
committer | NIIBE Yutaka <[email protected]> | 2016-09-20 01:14:22 +0000 |
commit | f32689f833838a742243e94c900e98f5b59a5811 (patch) | |
tree | 3bcfca959a0fa4ac527ac7124fee7a198492c8d4 /doc/tools.texi | |
parent | doc: Fix "Not(e) that you can(not) abbreviate". (diff) | |
download | gnupg-f32689f833838a742243e94c900e98f5b59a5811.tar.gz gnupg-f32689f833838a742243e94c900e98f5b59a5811.zip |
doc: Use the right reference commands.
* doc/debugging.texi, doc/gpg-agent.texi, doc/gpg.texi, doc/gpgsm.texi,
doc/tools.texi: Fix.
Diffstat (limited to 'doc/tools.texi')
-rw-r--r-- | doc/tools.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/tools.texi b/doc/tools.texi index 4427ffe56..d6e130f17 100644 --- a/doc/tools.texi +++ b/doc/tools.texi @@ -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 |