aboutsummaryrefslogtreecommitdiffstats
path: root/doc/tools.texi
diff options
context:
space:
mode:
authorIneiev <[email protected]>2016-03-04 15:51:22 +0000
committerNIIBE Yutaka <[email protected]>2016-09-20 01:14:22 +0000
commitf32689f833838a742243e94c900e98f5b59a5811 (patch)
tree3bcfca959a0fa4ac527ac7124fee7a198492c8d4 /doc/tools.texi
parentdoc: Fix "Not(e) that you can(not) abbreviate". (diff)
downloadgnupg-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.texi4
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