mini: install extra (documention) files

Signed-off-by: Ferry Huberts <ferry.huberts@pelagic.nl>

diff --git a/lib/mini/Makefile b/lib/mini/Makefile
index 684f257..a416a9d 100644 (file)
--- a/lib/mini/Makefile
+++ b/lib/mini/Makefile
@@ -59,8 +59,16 @@ endif
 install:       $(PLUGIN_FULLNAME)
                $(STRIP) $(PLUGIN_FULLNAME)
                $(INSTALL_LIB)
+ifneq ($(DOCDIR_OLSRD),)
+               mkdir -p "$(DOCDIR_OLSRD)"
+               cp "README_MINI" "$(DOCDIR_OLSRD)"
+endif
 
 uninstall:
+ifneq ($(DOCDIR_OLSRD),)
+               rm -f "$(DOCDIR_OLSRD)/README_MINI"
+               rmdir -p --ignore-fail-on-non-empty "$(DOCDIR_OLSRD)"
+endif
                $(UNINSTALL_LIB)
 
 clean: