diff options
| -rw-r--r-- | Doc/lib.tex | 13 | ||||
| -rw-r--r-- | Doc/lib/lib.tex | 13 |
2 files changed, 14 insertions, 12 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} 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 @@ 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} |