Provide user-manual.html//mobi/pdf from the Git distribution and git-doc.html/mobi/pdf which contains the complete Git documentation combined in a single html/mobi/pdf file. Docs are created on tag fullpdf<version> of