Re: (ITS#6971) Incorrect configure option in documentation