Jeff King <p...@peff.net> writes: > On Tue, Oct 29, 2013 at 05:03:53PM +0100, Sebastian Schuberth wrote: > >> I just gave it a try and it works nicely: >> >> Tested-by: Sebastian Schuberth <sschube...@gmail.com> >> >> Also, the clean target already contains "*.html", so nothing else to >> do there. Any chance to get this queued in pu? > > Here it is with a commit message, and the additional wiring into "make > doc".
Thanks, both. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html