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 /pack-redundant.c | |
| parent | Documentation/git-pull.txt: Use more standard [NOTE] markup (diff) | |
| download | tgif-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 'pack-redundant.c')
0 files changed, 0 insertions, 0 deletions