summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrederic Cambus <fred@statdns.com>2022-05-06 23:24:01 +0200
committerDodji Seketeli <dodji@redhat.com>2022-05-13 13:54:31 +0200
commitc70dfec08f0f24e5d03030828deaa39b92469148 (patch)
tree4745af6912f3038805b71c6f37924d39c2cb283b
parentctf-reader: Add support to read CTF information from the Linux Kernel (diff)
downloadlibabigail-c70dfec08f0f24e5d03030828deaa39b92469148.tar.gz
libabigail-c70dfec08f0f24e5d03030828deaa39b92469148.tar.bz2
libabigail-c70dfec08f0f24e5d03030828deaa39b92469148.tar.xz
Fix numbering error in the abidiff manual.
* doc/manuals/abidiff.rst: Fix numbering error for the --headers-dir2 option. Signed-off-by: Frederic Cambus <fred@statdns.com>
-rw-r--r--doc/manuals/abidiff.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manuals/abidiff.rst b/doc/manuals/abidiff.rst
index f17fed2f..a15515be 100644
--- a/doc/manuals/abidiff.rst
+++ b/doc/manuals/abidiff.rst
@@ -129,7 +129,7 @@ Options
129 library that the tool has to consider. The tool will thus filter 129 library that the tool has to consider. The tool will thus filter
130 out ABI changes on types that are not defined in public headers. 130 out ABI changes on types that are not defined in public headers.
131 131
132 * ``--headers-dir2 | --hd2`` <headers-directory-path-1> 132 * ``--headers-dir2 | --hd2`` <headers-directory-path-2>
133 133
134 Specifies where to find the public headers of the second shared 134 Specifies where to find the public headers of the second shared
135 library that the tool has to consider. The tool will thus filter 135 library that the tool has to consider. The tool will thus filter