Re: PATCH: make clean Re: [dev] [st] release 0.8

[Quentin Rameau]

> Hm... true.
> 
> Maybe this belongs to 'make distclean'? Or be at least documented.

A distclean target would be a better proposal.
The Makefile is simple enough to be its own documentation.