doctool: disable complex html output