diff options
author | Michael Vogt <mvo@debian.org> | 2014-01-04 11:15:28 +0100 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2014-01-04 11:15:28 +0100 |
commit | c93d14fc05b50a8ee8bb7804579c2912f34c676b (patch) | |
tree | 1f45c51bd8d3ab33de2610f1663b3ec8e5f49c02 /vendor/steamos/makefile | |
parent | e2fa0aa64d2249129543f82a213043d96469be1c (diff) | |
parent | 23bd09778261c945b460b46d855b1a6ef998cfd8 (diff) |
Merge branch 'debian/sid' into feature/source-deb822
Diffstat (limited to 'vendor/steamos/makefile')
-rw-r--r-- | vendor/steamos/makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/vendor/steamos/makefile b/vendor/steamos/makefile new file mode 100644 index 000000000..c27494587 --- /dev/null +++ b/vendor/steamos/makefile @@ -0,0 +1,11 @@ +# -*- make -*- +BASE=../.. +SUBDIR=vendor/steamos + +# Bring in the default rules +include ../../buildlib/defaults.mak + +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' $< | sed -e 's#&steamos-codename;#$(shell ../getinfo current-distro-codename)#g' > $@ |