diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps
index e968cd73376..d4678bb1fef 100644
--- a/Doc/Makefile.deps
+++ b/Doc/Makefile.deps
@@ -195,6 +195,7 @@ LIBFILES= ../lib/lib.tex \
 	../lib/libchunk.tex \
 	../lib/libcodeop.tex \
 	../lib/libcurses.tex \
+	../lib/libdl.tex \
 	../lib/libmutex.tex \
 	../lib/libnis.tex \
 	../lib/libpipes.tex \
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 69bc73075a6..745fc1f79f9 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -168,6 +168,7 @@ add new extensions to Python and how to embed it in other applications.
 \input{libpwd}
 \input{libgrp}
 \input{libcrypt}
+\input{libdl}
 \input{libdbm}
 \input{libgdbm}
 \input{libtermios}