B.4 Compile Docs

<i>

[1] Command Line

---

A rivt file is typically run interactively in an IDE. If run from the command line the command is

python rvDss-filename.py

where rvDss- is the rivt file number, D is a capital alphanumeric division label and ss is a two digit subdivision number respectively. See here for further details.