diff options
author | Junio C Hamano <gitster@pobox.com> | 2008-06-12 14:21:05 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-06-12 14:21:05 -0700 |
commit | 5ada3696f6a7c99028ec0f95c629def747373aef (patch) | |
tree | 1bbe809dfba366095a01dc69a3da7a40687a3c51 /blob.c | |
parent | 6bfa3c99292dad8f88b2c8ac22e557421d57fd46 (diff) | |
download | git-5ada3696f6a7c99028ec0f95c629def747373aef.tar.gz git-5ada3696f6a7c99028ec0f95c629def747373aef.tar.xz |
Documentation: exclude @pxref{[REMOTES]} from texinfo intermediate output
We already had a hack to exclude @pxref{[URLS]} from the texi stream that
refers to nonexistent anchor.
This allows "make info" to produce gitman.info again.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'blob.c')
0 files changed, 0 insertions, 0 deletions