diff options
author | Michael Vogt <mvo@debian.org> | 2014-01-06 07:51:45 +0100 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2014-01-06 07:51:45 +0100 |
commit | 1b4560fec66a6e7b2dff9aaa19095fb8423f69a0 (patch) | |
tree | 7fb2b63e31f356ef87af4699ba87b4f1443f508c /vendor/debian | |
parent | 81d183681aea972fddd453d62109f8ccda3f447a (diff) | |
parent | 74d4bb26e09146b9d5f01889a676dc58ff5d63cd (diff) |
Merge branch 'debian/sid' into feature/apt-manpage
Diffstat (limited to 'vendor/debian')
-rw-r--r-- | vendor/debian/apt-vendor.ent | 7 | ||||
-rw-r--r-- | vendor/debian/makefile | 11 | ||||
-rw-r--r-- | vendor/debian/sources.list.in | 8 |
3 files changed, 26 insertions, 0 deletions
diff --git a/vendor/debian/apt-vendor.ent b/vendor/debian/apt-vendor.ent new file mode 100644 index 000000000..6cda5995c --- /dev/null +++ b/vendor/debian/apt-vendor.ent @@ -0,0 +1,7 @@ +<!-- details about the keys used by the distribution --> +<!ENTITY keyring-distro "Debian"> +<!ENTITY keyring-package "<package>debian-archive-keyring</package>"> +<!ENTITY keyring-filename "<filename>/usr/share/keyrings/debian-archive-keyring.gpg</filename>"> +<!ENTITY keyring-removed-filename "<filename>/usr/share/keyrings/debian-archive-removed-keys.gpg</filename>"> +<!ENTITY keyring-master-filename ""> +<!ENTITY keyring-uri ""> diff --git a/vendor/debian/makefile b/vendor/debian/makefile new file mode 100644 index 000000000..1f82d7f47 --- /dev/null +++ b/vendor/debian/makefile @@ -0,0 +1,11 @@ +# -*- make -*- +BASE=../.. +SUBDIR=vendor/debian + +# 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' $< > $@ diff --git a/vendor/debian/sources.list.in b/vendor/debian/sources.list.in new file mode 100644 index 000000000..745e32cbe --- /dev/null +++ b/vendor/debian/sources.list.in @@ -0,0 +1,8 @@ +# See sources.list(5) manpage for more information +# Remember that CD-ROMs, DVDs and such are managed through the apt-cdrom tool. +deb http://ftp.us.debian.org/debian &stable-codename; main contrib non-free +deb http://security.debian.org &stable-codename;/updates main contrib non-free + +# Uncomment if you want the apt-get source function to work +#deb-src http://ftp.us.debian.org/debian &stable-codename; main contrib non-free +#deb-src http://security.debian.org &stable-codename;/updates main contrib non-free |