commit | 5ada3696f6a7c99028ec0f95c629def747373aef | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Thu Jun 12 14:21:05 2008 -0700 |
committer | Junio C Hamano <gitster@pobox.com> | Thu Jun 12 14:21:05 2008 -0700 |
tree | 1bbe809dfba366095a01dc69a3da7a40687a3c51 | |
parent | 6bfa3c99292dad8f88b2c8ac22e557421d57fd46 [diff] |
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>