RSL specifications in separate text files

If you have an RSL specification in a separate text file (say, X.rsl) that you want to print neatly, you create a L^ATEX file (say, main.tex) which includes the specification by using the command \RAISEIN{X}

A basic L^ATEX file including the specification in X.rsl looks like this:

\documentclass{article}
\usepackage{rslenv}
\begin{document}
\RAISEIN{X}
\end{document}

To print the specification, do the following:

1. Open main.tex in emacs.
2. From emacs, issue the command M-x mkdoc (that is, press Alt-x, write 'mkdoc' and press Enter). mkdoc generates a file X.tex from X.rsl. If there had been several RAISEIN commands, then mkdoc would have generated a tex file for each included rsl file.

The file can now be converted to PostScript format as described in section 5.2.