------------------------------------------------------------------------
r123 | mercade | 2005-08-09 17:49:06 +0200 (Tue, 09 Aug 2005) | 2 lines

Updated documentation.

------------------------------------------------------------------------
U       /doc/man/definitions/NAME_TO_RANDOM
