Browse Source
This makes "make doc" work even if you made "sudo make doc" previously by mistake. Apparently an oversight: the other targets did this already. Signed-off-by: David Kastrup <dak@gnu.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>maint
David Kastrup
18 years ago
committed by
Junio C Hamano
1 changed files with 1 additions and 0 deletions
Loading…
Reference in new issue