On 16/12/12 4:38 PM, Stefano Sabatini wrote: > +clean-doc: clean Maybe something like docclean instead? It's not as nice, but it would be consistent with the distclean and testclean targets. Regards.