diff --git a/Doc/lib.tex b/Doc/lib.tex
index 4db67fb..1684108 100644
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -87,8 +87,8 @@
 \input{libimp}
 \input{libni}
 \input{libparser}
-\input{libpprint}
 \input{libcode}
+\input{libpprint}
 \input{libsite}
 \input{libuser}
 \input{libbltin}		% really __builtin__
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 4db67fb..1684108 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -87,8 +87,8 @@
 \input{libimp}
 \input{libni}
 \input{libparser}
-\input{libpprint}
 \input{libcode}
+\input{libpprint}
 \input{libsite}
 \input{libuser}
 \input{libbltin}		% really __builtin__