The  directories "language" and "texdefs" have the 
following contents:

language: language reference manual (lrm.tex) in latex-format

texdefs : tex macros and other definitions for latex

To print a document, you have to format the respective file (e.g. lrm.tex)
using the command "latex" (latex lrm). Afterwards you may gain a postscript
representation of the document using "dvips" (dvips lrm).

You can find POSTSCRIPT versions of these documents and of a lot of
other documents (usersguide, tutorial, ...) on our server in
/pub/OBST/OBST<version>.
