diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index c8cb73bc810..56ae04fb466 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -125,6 +125,7 @@ and how to embed it in other applications.
 \input{librandom}
 \input{libwhrandom}
 \input{libbisect}
+\input{libcollections}
 \input{libheapq}
 \input{libarray}
 \input{libsets}