make distclean: Remove also configure.sh.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 20 May 2019 22:09:51 +0000 (00:09 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 May 2019 06:32:00 +0000 (08:32 +0200)
commitd48e676ab44873c402acbafc5d7602fdee6a05fb
tree0f269a2d57399b0eca82b3c52e9c1a3abbe00b73
parent54b9de32d887856379b9874335d4d59740eb111e
make distclean: Remove also configure.sh.

All derived files should be removed by the distclean target.
Makefile