Makefile: [bug] make 'dist' work even without git
authorG.raud <graud@gmx.com>
Mon, 17 Dec 2012 15:13:21 +0000 (15:13 +0000)
committerG.raud <graud@gmx.com>
Sun, 13 Jan 2013 14:18:49 +0000 (15:18 +0100)
commit2d4fab157517e336104efc4fb1297f29e409c442
tree91a6e5a427fe63a4bc0d81a94a83f43edc0a3df2
parentc9429435afb86d3c1478f568d56b0d37fdc67851
Makefile: [bug] make 'dist' work even without git

debclean: do not fail if not in a git repository
Makefile