diff options
Diffstat (limited to 'buildtools/debian-skeleton/rpki-ca.install')
| -rw-r--r-- | buildtools/debian-skeleton/rpki-ca.install | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/buildtools/debian-skeleton/rpki-ca.install b/buildtools/debian-skeleton/rpki-ca.install index 90f4eecf..075a3a32 100644 --- a/buildtools/debian-skeleton/rpki-ca.install +++ b/buildtools/debian-skeleton/rpki-ca.install @@ -1,3 +1,6 @@ usr/lib/rpki -usr/sbin +usr/sbin/irbe_cli +usr/sbin/rpki-start-servers +usr/sbin/rpkic +usr/sbin/rpkigui-query-routes usr/share/rpki |