On Thursday 03 February 2005 12:05 am, Meder Bakirov wrote:
> Isn't there already (or planned) "nodoc" and "noman" (and, maybe, "noinfo")
> options, which can be set in FEATURES?

yes, we already have 'nodoc', 'noman', and 'noinfo' for FEATURES
-mike

--
[email protected] mailing list

Reply via email to