Guys:
* promote DEBUILD_OPTIONS=nodocs flag for not building docs
b.g. -- Bill Gatliff bgat@billgatliff.com