Re: [PATCH] doc: formatting fixes

On 11/10/22 14:53, Andreas Schwab via Gcc-patches wrote: gcc/ * doc/gcc/gcc-command-options/option-summary.rst: Fix formatting. --- gcc/doc/gcc/gcc-command-options/option-summary.rst | 8 ++-- 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/gcc/doc/gcc/gcc-command-opt

[PATCH] doc: formatting fixes

gcc/ * doc/gcc/gcc-command-options/option-summary.rst: Fix formatting. --- gcc/doc/gcc/gcc-command-options/option-summary.rst | 8 ++-- 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/gcc/doc/gcc/gcc-command-options/option-summary.rst b/gcc/doc/gcc/gcc-command-options/op