aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Beulich <jbeulich@suse.com>2023-04-21 07:54:19 +0200
committerJan Beulich <jbeulich@suse.com>2023-04-21 07:54:19 +0200
commit3a117c5887312afb3f1567f1cae3316872d575f4 (patch)
tree61db901f86ed0b5ce716e2ce90e4ca8715196dfe
parentde7b90610e9e939c49290229c282eb9171c560b9 (diff)
downloadgdb-3a117c5887312afb3f1567f1cae3316872d575f4.zip
gdb-3a117c5887312afb3f1567f1cae3316872d575f4.tar.gz
gdb-3a117c5887312afb3f1567f1cae3316872d575f4.tar.bz2
ld: add missing period after @xref
At least older versions of one of the doc generation tools complain (warn) about it missing.
-rw-r--r--ld/ld.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/ld/ld.texi b/ld/ld.texi
index 1f0478b..1ea6874 100644
--- a/ld/ld.texi
+++ b/ld/ld.texi
@@ -7245,7 +7245,7 @@ Currently there is only one plugin shipped by default, but more may
be added here later.
Plugins are enabled via the use of the @option{-plugin @var{name}}
-command line option. @xref{Options}
+command line option. @xref{Options}.
@menu
* libdep Plugin:: Static Library Dependencies Plugin