diff --git a/Doc/lib.tex b/Doc/lib.tex
index f9d0ad7..6b8d978 100644
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -43,11 +43,12 @@
 
 \pagenumbering{arabic}
 
-\input{lib1.tex}	% intro; built-in types, functions and exceptions
-\input{lib2.tex}	% built-in modules
-\input{lib3.tex}	% standard modules
-\input{lib4.tex}	% OS-dependent chapters
-\input{lib5.tex}	% Graphics chapters
-\input{lib.ind}		% The index
+\include{lib1}	% intro; built-in types, functions and exceptions
+\include{lib2}	% built-in modules
+\include{lib3}	% standard modules
+\include{lib4}	% Most OS'es; UNIX only; Amoeba only
+\include{lib5}	% STDWIN only; SGI machines only
+
+\input{lib.ind}	% The index
 
 \end{document}
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index f9d0ad7..6b8d978 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -43,11 +43,12 @@
 
 \pagenumbering{arabic}
 
-\input{lib1.tex}	% intro; built-in types, functions and exceptions
-\input{lib2.tex}	% built-in modules
-\input{lib3.tex}	% standard modules
-\input{lib4.tex}	% OS-dependent chapters
-\input{lib5.tex}	% Graphics chapters
-\input{lib.ind}		% The index
+\include{lib1}	% intro; built-in types, functions and exceptions
+\include{lib2}	% built-in modules
+\include{lib3}	% standard modules
+\include{lib4}	% Most OS'es; UNIX only; Amoeba only
+\include{lib5}	% STDWIN only; SGI machines only
+
+\input{lib.ind}	% The index
 
 \end{document}