ADD: ignore logfile in docs/