diff options
Diffstat (limited to 'utils/print_rpki_manifest/Makefile.in')
| -rw-r--r-- | utils/print_rpki_manifest/Makefile.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/utils/print_rpki_manifest/Makefile.in b/utils/print_rpki_manifest/Makefile.in index 513afa34..22f1b16b 100644 --- a/utils/print_rpki_manifest/Makefile.in +++ b/utils/print_rpki_manifest/Makefile.in @@ -48,8 +48,5 @@ install: all deinstall uninstall: rm -f ${DESTDIR}${bindir}/${BIN} -installation-manifest: - echo >>${abs_top_builddir}/installation-manifest F %%BINDIR%%/${BIN} - distclean: clean rm -f Makefile |