diff options
Diffstat (limited to 'rpkid/Makefile.in')
| -rw-r--r-- | rpkid/Makefile.in | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 33e0dde5..36016fef 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -44,7 +44,7 @@ POW_SO = rpki/POW/_POW.so SCRIPTS = rpki-sql-backup rpki-sql-setup rpki-start-servers irbe_cli irdbd myrpki \ pubd rootd rpkid portal-gui/scripts/rpkigui-load-csv \ portal-gui/scripts/rpkigui-add-user portal-gui/scripts/rpkigui-response \ - portal-gui/scripts/rpkigui-rcynic portal-gui/scripts/rpkigui-setup-sql + portal-gui/scripts/rpkigui-rcynic AUX_SCRIPTS = @@ -247,9 +247,6 @@ portal-gui/scripts/rpkigui-rcynic: portal-gui/scripts/rpkigui-rcynic.py portal-gui/scripts/rpkigui-response: portal-gui/scripts/rpkigui-response.py ${COMPILE_DJANGO} -portal-gui/scripts/rpkigui-setup-sql: portal-gui/scripts/rpkigui-setup-sql.py - ${COMPILE_DJANGO} - portal-gui/apache/rpki.wsgi: ${srcdir}/portal-gui/apache/rpki.wsgi.in ${COMPILE_DJANGO} |