diff options
Diffstat (limited to 'rpkid/Makefile.in')
| -rw-r--r-- | rpkid/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index dd0c5eb4..763c8ba8 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -261,8 +261,7 @@ portal-gui/scripts/rpkigui-check-expired: portal-gui/scripts/rpkigui-check-expir ${COMPILE_PYTHON} portal-gui/rpki.wsgi: ${srcdir}/portal-gui/rpki.wsgi.in - sed -e "s|@PYTHON""PATH@|${sysconfdir}/rpki|" \ - ${srcdir}/portal-gui/rpki.wsgi.in > portal-gui/rpki.wsgi + cp $? $@ portal-gui/scripts/rpki-manage: ${srcdir}/portal-gui/scripts/rpki-manage.in sed -e "s|@DJANGO""_ADMIN@|${DJANGO_ADMIN}|" \ |