diff options
author | Gary V. Vaughan <gary@gnu.org> | 2012-10-19 12:07:38 +0700 |
---|---|---|
committer | Gary V. Vaughan <gary@gnu.org> | 2012-10-19 14:17:12 +0700 |
commit | 3f951c3817755277513f144c5b0f8b488ddff56b (patch) | |
tree | 3c6dd6a3c93f4c0d115fb217a4ad0d28bffbc91c /tests | |
parent | 55fd801b97a669ba5336836ce7b8971b8673a517 (diff) | |
download | libtool-3f951c3817755277513f144c5b0f8b488ddff56b.tar.gz |
doc: add a missing period following @xref.
* doc/libtool.texi: Silence a warning by adding back a missing
period.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions