Merge branch 'maint'
authorJunio C Hamano <redacted>
Thu, 22 Apr 2010 06:54:04 +0000 (23:54 -0700)
committerJunio C Hamano <redacted>
Thu, 22 Apr 2010 06:54:04 +0000 (23:54 -0700)
* maint:
  Documentation/Makefile: fix interrupted builds of user-manual.xml


Trivial merge
git clone https://git.99rst.org/PROJECT