diff options
author | Martin von Gagern <Martin.vGagern@gmx.net> | 2013-04-03 21:54:33 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-04-03 16:14:19 -0700 |
commit | cbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7 (patch) | |
tree | 171c87c632f41ae2596c22d260c943642eb65f04 /t | |
parent | Start preparing for 1.8.1.6 (diff) | |
download | tgif-cbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7.tar.xz |
Documentation: Strip texinfo anchors to avoid duplicates
This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210.
Signed-off-by: Martin von Gagern <Martin.vGagern@gmx.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions