diff options
| -rw-r--r-- | rpkid/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 8bf4217b..ee1a9b1a 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -200,6 +200,9 @@ distclean:: clean docclean all install clean test distclean deinstall uninstall:: @for i in ${SUBDIRS}; do echo "Making $@ in $$i"; (cd $$i && ${MAKE} $@); done +install:: + ${INSTALL} examples/rpki.conf ${DESTDIR}${sysconfdir}/rpki.conf.sample + # Scripts COMPILE_PYTHON = \ |