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

This archive was generated by hypermail 2.3.0 : Thu Mar 15 2018 - 17:12:20 CET