RISC OS 4/Select PRMs
---------------------

This directory contains the work in progress that is the documentation
for RISC OS 4 and Select. The XML files contained here can be processed
by the XML tools in the Resources directory.

The Obey scripts will regenerate parts of the documentation site :
  !MkIndex builds the various indices.
  !MkPages builds all the pages that have been changed.
  !MkPagesC deletes all the HTML pages.
  !MkPagesV checks the validity of the XML files.

index-*/html contain the generated index output.
index-*-n/html contain the generated index output for numbered definitions.
index-*/xml are temporary files which are used during the generation of the
        indexes; they are retained for debugging purposes.
index-makefile/xsl generates the makefile which processes the output.
index/xsl generates the index files.
index/html is the main HTML file that contains references to all the files.
index/xml describes all the files and is used to generate all the index
        files.
