doc/ must not be ignored