tnt
07/24/2020, 8:43 PMclean and dist-clean targets which is quite annoying. Any objection that I rename that to conda-clean and conda-dist-clean and then have clean / dist-clean targets in the main makefile that calls those as dependencies ?