mirror of
https://github.com/git/git.git
synced 2026-04-14 02:40:08 +02:00
"make clean" should also clean up documentation
(Or, if somebody disagrees, we should have a "make distclean").
This commit is contained in:
(Or, if somebody disagrees, we should have a "make distclean").