]> git.ipfire.org Git - thirdparty/libtool.git/commit
projects / thirdparty / libtool.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba19397) | patch
manual: web-manual index.html clashes with @node Index.
authorGary V. Vaughan <gary@gnu.org>
Wed, 22 Sep 2010 14:41:22 +0000 (21:41 +0700)
committerGary V. Vaughan <gary@gnu.org>
Wed, 22 Sep 2010 16:25:35 +0000 (23:25 +0700)
commite3b973b8e10df84cb2ad5d19097cef7590bb8a44
tree259f9fb0d6ef86ab3b65bcc2f00e83ba686bff73tree
parentba19397c94378626bc66f44fa75d769490a52ebfcommit | diff
manual: web-manual index.html clashes with @node Index.

* doc/libtool.texi (Index): Renamed to `Combined Index'.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
ChangeLog diff | blob | blame | history
doc/libtool.texi diff | blob | blame | history
Mirror of https://github.com/autotools-mirror/libtool.git