diff options
| author | Rob Austein <sra@hactrn.net> | 2016-02-15 07:51:40 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2016-02-15 07:51:40 +0000 |
| commit | def95e42fda9a9e45bdf4f40a6ecb93b644dbf0b (patch) | |
| tree | 1505c5859484053e8a120acaef60869389d3d901 /buildtools/debian-skeleton/rpki-ca.install | |
| parent | 21527a93bf51875473bc29698189e9e9540aee1b (diff) | |
Checkpoint while shuffling stuff around for new installation scheme.
Installation of everything but Debian packages is probably broken, and
Debian packages are too at the moment due to (probably) minor errors
in buildtools/debian-skeleton, but enough has changed that this really
needs a snapshot checked in for backup.
svn path=/branches/tk705/; revision=6257
Diffstat (limited to 'buildtools/debian-skeleton/rpki-ca.install')
| -rw-r--r-- | buildtools/debian-skeleton/rpki-ca.install | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/buildtools/debian-skeleton/rpki-ca.install b/buildtools/debian-skeleton/rpki-ca.install index ffae5103..90f4eecf 100644 --- a/buildtools/debian-skeleton/rpki-ca.install +++ b/buildtools/debian-skeleton/rpki-ca.install @@ -1,4 +1,3 @@ -etc/rpki/rpki-confgen.xml usr/lib/rpki usr/sbin usr/share/rpki |