Make check-docs target detect removed commands
authorJunio C Hamano <gitster@pobox.com>
Fri, 9 Nov 2007 02:38:27 +0000 (18:38 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 9 Nov 2007 09:57:50 +0000 (01:57 -0800)
commit3f7ce648fafead8c9cb5f6f594a0eb220fc12c9c
treea5e354639f8b0475a5678b1ac63275affe67667c
parent0bf15e743826774c2b76858e274efc4211522ec9
Make check-docs target detect removed commands

The maintainer should remember running "make check-docs" from
time to time.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
Makefile