This directory contains the source for generating the user manual.  The base
document is UserManual.html which has embedded examples that need to be
processed by running the expandexamp.py script.  By running the examples
through the RPN and Python interpreters, it is guaranteed that they actually
work.
