diff options
author | Michael Vogt <mvo@debian.org> | 2014-02-23 00:45:56 +0100 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2014-02-23 00:45:56 +0100 |
commit | eccff323a093d91fff379e7c8460d7e5c8db8ad1 (patch) | |
tree | d539d21c6716af3122edabae91feadccfb3c12ad /vendor/debian | |
parent | 2c678b0a026ac9d44c8ade07aa8bf318faf5a9e2 (diff) | |
parent | b7ed961b8099c05f65e18d4c73ead50cc5c8bff1 (diff) |
Merge branch 'debian/sid' into ubuntu/master
Conflicts:
debian/changelog
Diffstat (limited to 'vendor/debian')
-rw-r--r-- | vendor/debian/makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/vendor/debian/makefile b/vendor/debian/makefile index 1f82d7f47..25bc0350c 100644 --- a/vendor/debian/makefile +++ b/vendor/debian/makefile @@ -9,3 +9,9 @@ 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/sources.list + +clean/sources.list: + rm -f sources.list + |