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 /Documentation/.gitignore | |
| 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 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions