(ITS#6971) Incorrect configure option in documentation