build: add target docker-clean
commit57eee2407c584910a1747d9350cec4fb2420a338
authorChristian Hesse <mail@eworm.de>
Tue, 28 Jan 2020 13:15:00 +0000 (28 14:15 +0100)
committerMarc André Tanner <mat@brain-dump.org>
Thu, 30 Jan 2020 10:38:45 +0000 (30 11:38 +0100)
tree7a3bf9b4c5052593cc2a930d96a66236552a1839
parent6f571a8f39ba975d263203d3def9bad05d92260e
build: add target docker-clean

This removes the docker image and volume `vis` and thus purges everything
we added in docker.
Makefile