Re: [ping][PATCH 1/1] docs: Add link to gmplib.org
> Thanks, I've pushed this patch. > > -Sandra Appreciated. Thanks.
Re: [wwwdocs, patch] OpenMP update for gcc-13/changes.html + projects/gomp/
On 2/24/23 10:32, Benson Muite via Gcc-patches wrote: > On 2/24/23 04:02, Gerald Pfeifer wrote: >> On Thu, 23 Feb 2023, Tobias Burnus wrote: >>> PS: I also removed a stray , but admittedly only after the >>> commit. I found it by manually running those through the w3 validator >>> site. However, I did not see an automatic email, either it takes longer >>> or does it no longer run? It did in the past! >> >> You are right, and this is a sore / sad point: validator.w3.org that we >> used in the past now only supports interactive sessions. And they even >> broke support for the Referer header, so I also had to remove the checking >> link I had embedded in all of our pages. >> >> These days I invoke the validator (via a version of the original script) >> when I see a commit. Which indeed leads to many orders of magnitude longer >> delays. >> >> Sadly I don't have a better alternative. :-( >> > Could one of the following be used or used to generate a better workflow: > https://html-validate.org/usage/cli.html - written in Javascript, but > has a command line interface > https://github.com/validator/validator - packaged, but a little > cumbersome, may need a wrapper > https://github.com/w3c-validators/w3c_validators - Wrapper written in > Ruby, with a nice interface to validate a local file > html-tidy could work well. Written in C. A typical session from Git Sources following [1]: git pull cd gcc ./configure mkdir HTML makeinfo --html --no-split -Idoc -Idoc/include -o HTML doc/gcc.texi tidy -f HTML/errs.txt -imu HTML/gcc.html Typical current reported errors are line 23080 column 22 - Warning: nested emphasis line 40445 column 11 - Warning: nested emphasis line 3541 column 1 - Warning: anchor "index-g_002b_002b" already defined line 54489 column 1 - Warning: lacks "summary" attribute [1] https://unix.stackexchange.com/questions/493013/how-to-build-the-gcc-html-documentation-from-source-into-a-single-page
Re: [wwwdocs, patch] OpenMP update for gcc-13/changes.html + projects/gomp/
On 2/24/23 04:02, Gerald Pfeifer wrote: > On Thu, 23 Feb 2023, Tobias Burnus wrote: >> PS: I also removed a stray , but admittedly only after the >> commit. I found it by manually running those through the w3 validator >> site. However, I did not see an automatic email, either it takes longer >> or does it no longer run? It did in the past! > > You are right, and this is a sore / sad point: validator.w3.org that we > used in the past now only supports interactive sessions. And they even > broke support for the Referer header, so I also had to remove the checking > link I had embedded in all of our pages. > > These days I invoke the validator (via a version of the original script) > when I see a commit. Which indeed leads to many orders of magnitude longer > delays. > > Sadly I don't have a better alternative. :-( > Could one of the following be used or used to generate a better workflow: https://html-validate.org/usage/cli.html - written in Javascript, but has a command line interface https://github.com/validator/validator - packaged, but a little cumbersome, may need a wrapper https://github.com/w3c-validators/w3c_validators - Wrapper written in Ruby, with a nice interface to validate a local file
[ping][PATCH 1/1] docs: Add link to gmplib.org
Improvement to documentation from a new contributor without commit rights.
On 1/5/23 06:38, Benson Muite wrote:
> Link is missing from install documentation
>
> Signed-off-by: Benson Muite
> ---
> gcc/doc/install.texi | 3 ++-
> 1 file changed, 2 insertions(+), 1 deletion(-)
>
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index ccc8d15fd08..18e8709a169 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -396,7 +396,8 @@ install the libraries.
> @table @asis
> @item GNU Multiple Precision Library (GMP) version 4.3.2 (or later)
>
> -Necessary to build GCC@. If a GMP source distribution is found in a
> +Necessary to build GCC@. It can be downloaded from
> +@uref{https://gmplib.org/}. If a GMP source distribution is found in a
> subdirectory of your GCC sources named @file{gmp}, it will be built
> together with GCC. Alternatively, if GMP is already installed but it
> is not in your library search path, you will have to configure with the
[PATCH 1/1] Add link to gmplib.org
Link is missing from install documentation
Signed-off-by: Benson Muite
---
gcc/doc/install.texi | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index ccc8d15fd08..18e8709a169 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -396,7 +396,8 @@ install the libraries.
@table @asis
@item GNU Multiple Precision Library (GMP) version 4.3.2 (or later)
-Necessary to build GCC@. If a GMP source distribution is found in a
+Necessary to build GCC@. It can be downloaded from
+@uref{https://gmplib.org/}. If a GMP source distribution is found in a
subdirectory of your GCC sources named @file{gmp}, it will be built
together with GCC. Alternatively, if GMP is already installed but it
is not in your library search path, you will have to configure with the
--
2.39.0
[PATCH 0/1] Update installation docs with gmplib link
Improved patch formatting Benson Muite (1): Add link to gmplib.org gcc/doc/install.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) -- 2.39.0
[PATCH] Add link to gmplib.org
Link is missing from install documentation
---
gcc/doc/install.texi | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index ccc8d15fd08..18e8709a169 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -396,7 +396,8 @@ install the libraries.
@table @asis
@item GNU Multiple Precision Library (GMP) version 4.3.2 (or later)
-Necessary to build GCC@. If a GMP source distribution is found in a
+Necessary to build GCC@. It can be downloaded from
+@uref{https://gmplib.org/}. If a GMP source distribution is found in a
subdirectory of your GCC sources named @file{gmp}, it will be built
together with GCC. Alternatively, if GMP is already installed but it
is not in your library search path, you will have to configure with the
--
2.39.0
