Jeff King <peff@xxxxxxxx> 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 <sschuberth@xxxxxxxxx> >> >> 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html