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

2022-05-11 Thread 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

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

2022-05-11 Thread Richard Biener via Gcc-patches
On Wed, May 11, 2022 at 1:22 PM Martin Liška wrote: > > Ready to be installed? > Thanks, > Martin > > PR other/105527 > > gcc/ChangeLog: > > * doc/install.texi: Document the configure option --with-zstd. > --- > gcc/doc/install.texi | 5 + > 1 file changed, 5 insertions(+) > >

[PATCH] docs: document --with-zstd

2022-05-11 Thread Martin Liška
Ready to be installed? Thanks, Martin PR other/105527 gcc/ChangeLog: * doc/install.texi: Document the configure option --with-zstd. --- gcc/doc/install.texi | 5 + 1 file changed, 5 insertions(+) diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 10bfceffceb..1d