diff --git a/Doc/lib.tex b/Doc/lib.tex
index 61a9abe16c8..391c241ff86 100644
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -87,6 +87,7 @@ to Python and how to embed it in other applications.
 \input{libimp}
 \input{libni}
 \input{libparser}
+\input{libpprint}
 \input{libsite}
 \input{libbltin}		% really __builtin__
 \input{libmain}			% really __main__
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 61a9abe16c8..391c241ff86 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -87,6 +87,7 @@ to Python and how to embed it in other applications.
 \input{libimp}
 \input{libni}
 \input{libparser}
+\input{libpprint}
 \input{libsite}
 \input{libbltin}		% really __builtin__
 \input{libmain}			% really __main__