Improve documentation (DWITH_* flags)