diff options
| -rw-r--r-- | rpkid/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 26801ae7..74a29f23 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -61,7 +61,6 @@ POW_SO = rpki/POW/_POW.so SCRIPTS = rpki-sql-backup rpki-sql-setup rpki-start-servers irbe_cli irdbd \ pubd rootd rpkic rpkid \ - portal-gui/scripts/rpkigui-rcynic \ portal-gui/scripts/rpkigui-import-routes \ portal-gui/scripts/rpkigui-check-expired \ portal-gui/scripts/rpki-manage |