Documentation: exclude @pxref{[REMOTES]} from texinfo intermediate output
commit5ada3696f6a7c99028ec0f95c629def747373aef
authorJunio C Hamano <gitster@pobox.com>
Thu, 12 Jun 2008 21:21:05 +0000 (12 14:21 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 12 Jun 2008 21:21:05 +0000 (12 14:21 -0700)
tree1bbe809dfba366095a01dc69a3da7a40687a3c51
parent6bfa3c99292dad8f88b2c8ac22e557421d57fd46
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>
Documentation/cat-texi.perl