[PATCH v2 0/2] DEFAULT_DOC_TARGET

2013-01-03 Thread Junio C Hamano
This allows things like: $ DEFAULT_DOC_TARGET=html make doc $ DEFAULT_DOC_INSTALL_TARGET=html make install-doc on a platform that does not have manpage viewer. Which is not very useful, given that you can already say $ make install-html on such a platform, and these install-$format

Re: [PATCH v2 0/2] DEFAULT_DOC_TARGET

2013-01-03 Thread Jeff King
On Thu, Jan 03, 2013 at 03:32:22PM -0500, Jeff King wrote: On Thu, Jan 03, 2013 at 11:05:18AM -0800, Junio C Hamano wrote: This allows things like: $ DEFAULT_DOC_TARGET=html make doc $ DEFAULT_DOC_INSTALL_TARGET=html make install-doc on a platform that does not have manpage