diff configure @ 7045:48f2fd49977d

Sync the man page with the removed sections of the HTML docs.
author diego
date Mon, 19 Aug 2002 01:38:59 +0000
parents 244afd6b035d
children e5f7dba0d628
line wrap: on
line diff