Updating doc for XXX_ENABLE_YYY=TRUE/FALSE allowed (TriBITS #38)