diff options
author | David Kalnischkies <kalnischkies@gmail.com> | 2013-11-30 19:15:02 +0100 |
---|---|---|
committer | David Kalnischkies <kalnischkies@gmail.com> | 2013-11-30 23:34:15 +0100 |
commit | 694ef56e802bbab94595fc491fdc6ef8b4f525c1 (patch) | |
tree | a6940bf70d7a814741de6be329cee6d0f2915d82 /vendor | |
parent | eef71f11a5836eb82df133cb4e24cb4806642188 (diff) |
add a vendor specific file to have configurable entities
manpages sometimes refer to distro-specific things like the name of the
package providing the achive-keyring. Having a central place to
configure this helps in having it consistent in the manpages and allows
to load this info from other places in the buildsystem as well later.
Diffstat (limited to 'vendor')
-rw-r--r-- | vendor/debian/apt-vendor.ent | 5 | ||||
-rw-r--r-- | vendor/ubuntu/apt-vendor.ent | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/vendor/debian/apt-vendor.ent b/vendor/debian/apt-vendor.ent new file mode 100644 index 000000000..56775bbaa --- /dev/null +++ b/vendor/debian/apt-vendor.ent @@ -0,0 +1,5 @@ +<!-- 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>"> diff --git a/vendor/ubuntu/apt-vendor.ent b/vendor/ubuntu/apt-vendor.ent new file mode 100644 index 000000000..fd5e5a7cf --- /dev/null +++ b/vendor/ubuntu/apt-vendor.ent @@ -0,0 +1,5 @@ +<!-- details about the keys used by the distribution --> +<!ENTITY keyring-distro "Ubuntu"> +<!ENTITY keyring-package "<package>ubuntu-keyring</package>"> +<!ENTITY keyring-filename "<filename>/usr/share/keyrings/ubuntu-archive-keyring.gpg</filename>"> +<!ENTITY keyring-removed-filename "<filename>/usr/share/keyrings/ubuntu-archive-removed-keys.gpg</filename>"> |