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/ubuntu/makefile | |
| parent | 46a78c652d80818b4643c471432ae961b1ca5bd9 (diff) | |
improve clean for auto-generated sources.list
Diffstat (limited to 'vendor/ubuntu/makefile')
| -rw-r--r-- | vendor/ubuntu/makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/vendor/ubuntu/makefile b/vendor/ubuntu/makefile index 1fe138d2b..afcaaf718 100644 --- a/vendor/ubuntu/makefile +++ b/vendor/ubuntu/makefile @@ -10,5 +10,7 @@ doc binary manpages: sources.list sources.list: sources.list.in ../../doc/apt-verbatim.ent sed -e 's#&ubuntu-codename;#$(shell ../getinfo ubuntu-codename)#g' $< > $@ -clean: +clean: clean/sources.list + +clean/sources.list: rm -f sources.list |