3.25.61 rmargin

The command rmargin sets the size of the right margin. Please see margin for details.

This document was generated on November 1, 2013 using texi2html 5.0.