--- rpl/Makefile.am	2017/07/12 11:26:30	1.83
+++ rpl/Makefile.am	2017/08/03 18:51:51	1.84
@@ -326,6 +326,11 @@ debian: all
 	done
 	$(MKDIR_P) $(top_builddir)/debian/$(prefix)/lib
 	cp -f $(top_builddir)/src/librpl.a $(top_builddir)/debian/$(prefix)/lib
+	for i in sets motifs; \
+	do \
+		cp -f $(top_builddir)/modules/$i/$i.rplso \
+				$(top_builddir)/debian/$(prefix)/lib; \
+	done
 	for j in man man/fr_FR; \
 	do \
 		$(MKDIR_P) $(top_builddir)/debian/$(prefix)/$$j/man1; \