Merge branch 'mv/um-pdf'
authorJunio C Hamano <gitster@pobox.com>
Wed, 7 Jan 2009 08:09:10 +0000 (00:09 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 7 Jan 2009 08:09:10 +0000 (00:09 -0800)
commit8f8b8873a9f4e205eff9114e2679a887c38bf27a
treee6b57bb8f8263064c67a040f1d1126ef02a57569
parentd9befc8b0bb03aaf38e9fde0450c968fda492fae
parenta325a1a70b90a0cef39a258f1471e5770aa66eee
Merge branch 'mv/um-pdf'

* mv/um-pdf:
  Add support for a pdf version of the user manual
Documentation/Makefile
Makefile