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

From: Quentin Rameau <quinq_AT_fifth.space>
Date: Thu, 15 Mar 2018 17:04:59 +0100

> 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.
Received on Thu Mar 15 2018 - 17:04:59 CET