diff options
Diffstat (limited to 'Doc/lib.tex')
| -rw-r--r-- | Doc/lib.tex | 13 |
1 files changed, 7 insertions, 6 deletions
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 @@ language. \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} |