Re: [PATCH] docs: document --with-zstd

[Martin Liška]

On 5/11/22 13:50, Richard Biener wrote:
> Should that use @option{}?  --with-gmp etc. just refer to
> @option{--with-gmp-include} without PATH/*, so please drop that here, too.

Sure, adjusted and pushed.

Martin