1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 6b1409a9b9..847a1eac98 100644
--- a/Makefile
+++ b/Makefile
@@ -683,6 +683,8 @@ zarith: $(ZARITHVO)
 lists: $(LISTSVO)
 sets: $(SETSVO)
 fsets: $(FSETSVO)
+install-fsets: $(FSETSVO)
+	cp --parents $(FSETSVO) $(FULLCOQLIB)/theories/FSets
 intmap: $(INTMAPVO)
 relations: $(RELATIONSVO)
 wellfounded: $(WELLFOUNDEDVO)