diff options
Diffstat (limited to 'rpkid/setup.py')
| -rw-r--r-- | rpkid/setup.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/rpkid/setup.py b/rpkid/setup.py index 39aad552..956babe5 100644 --- a/rpkid/setup.py +++ b/rpkid/setup.py @@ -67,6 +67,7 @@ setup(name = "rpkitoolkit", "rpki-start-servers", "rpki-sql-backup", "rpki-sql-setup", + "rpki-sql-upgrade", "portal-gui/scripts/rpki-manage", "portal-gui/scripts/rpkigui-query-routes", "irbe_cli"]), @@ -88,4 +89,6 @@ setup(name = "rpkitoolkit", (autoconf.datarootdir + "/rpki/media/js", glob("rpki/gui/app/static/js/*")), (autoconf.datarootdir + "/rpki/media/img", - glob("rpki/gui/app/static/img/*"))]) + glob("rpki/gui/app/static/img/*")), + (autoconf.datarootdir + "/rpki/upgrade-scripts", + glob("upgrade-scripts/*"))]) |