Texinfo

The GNU Documentation Format

for Texinfo version 4.0, 9 February 2000

Robert J. Chassell
Richard M. Stallman



This document was generated on 1 July 2000 using texi2html 1.56k.