diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 0e057bdf1df..3b534d0e51d 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -131,6 +131,7 @@ and how to embed it in other applications.
 \input{libstatcache}
 \input{libstatvfs}
 \input{libfilecmp}
+\input{libpopen2}
 %\input{libcmp}
 %\input{libcmpcache}
 \input{libtime}
@@ -182,7 +183,6 @@ and how to embed it in other applications.
 \input{libresource}
 \input{libnis}
 \input{libsyslog}
-\input{libpopen2}
 \input{libcommands}
 
 \input{libpdb}			% The Python Debugger