diff options
| author | Michael Vogt <mvo@debian.org> | 2014-02-22 18:22:04 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2014-02-22 18:22:04 +0100 |
| commit | 5077916ef802948e6a3faab95b2d2a975438ec26 (patch) | |
| tree | 1bfb2a5ef32aa7f51dc14a8dcea294dc11d3292b /vendor/debian/makefile | |
| parent | 46a78c652d80818b4643c471432ae961b1ca5bd9 (diff) | |
improve clean for auto-generated sources.list
Diffstat (limited to 'vendor/debian/makefile')
| -rw-r--r-- | vendor/debian/makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/vendor/debian/makefile b/vendor/debian/makefile index a1bb74f9b..25bc0350c 100644 --- a/vendor/debian/makefile +++ b/vendor/debian/makefile @@ -10,6 +10,8 @@ doc binary manpages: sources.list sources.list: sources.list.in ../../doc/apt-verbatim.ent sed -e 's#&stable-codename;#$(shell ../getinfo debian-stable-codename)#g' $< > $@ -clean: +clean: clean/sources.list + +clean/sources.list: rm -f sources.list |