The LIP6 URL no longer functions.

Signed-off-by: Julia Lawall <[email protected]>

---

I used the UTF-8 encoding for the email.
Let me know if this was not the right choice.

 Documentation/dev-tools/coccinelle.rst                |    2 +-
 Documentation/translations/it_IT/process/4.Coding.rst |    3 ++-
 Documentation/translations/sp_SP/process/4.Coding.rst |    3 ++-
 Documentation/translations/zh_CN/process/4.Coding.rst |    2 +-
 Documentation/translations/zh_TW/process/4.Coding.rst |    2 +-
 5 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/Documentation/translations/zh_CN/process/4.Coding.rst 
b/Documentation/translations/zh_CN/process/4.Coding.rst
index 4cc35d410dbc..a00ad5d6b81e 100644
--- a/Documentation/translations/zh_CN/process/4.Coding.rst
+++ b/Documentation/translations/zh_CN/process/4.Coding.rst
@@ -216,7 +216,7 @@ Documentation/fault-injection/fault-injection.rst???
 ????????? https://sparse.wiki.kernel.org/index.php/Main_page ?????????,
 ?????????????????????make??????????????????C=1???????????????????????????
 
-???Coccinelle????????? :ref:`http://coccinelle.lip6.fr/ <devtools_coccinelle>`
+???Coccinelle????????? :ref:`https://coccinelle.gitlabpages.inria.fr/website/ 
<devtools_coccinelle>`
 
?????????????????????????????????????????????????????????????????????????????????????????????
 
scripts/coccinelle?????????????????????????????????????????????????????????????????????
 ???make 
coccicheck?????????????????????????????????????????????????????????????????????????????????????????????
diff --git a/Documentation/translations/zh_TW/process/4.Coding.rst 
b/Documentation/translations/zh_TW/process/4.Coding.rst
index e90a6b51fb98..233e8718ed41 100644
--- a/Documentation/translations/zh_TW/process/4.Coding.rst
+++ b/Documentation/translations/zh_TW/process/4.Coding.rst
@@ -219,7 +219,7 @@ Documentation/fault-injection/fault-injection.rst???
 ????????? https://sparse.wiki.kernel.org/index.php/Main_page ?????????,
 ?????????????????????make??????????????????C=1???????????????????????????
 
-???Coccinelle????????? :ref:`http://coccinelle.lip6.fr/ <devtools_coccinelle>`
+???Coccinelle????????? :ref:`https://coccinelle.gitlabpages.inria.fr/website/ 
<devtools_coccinelle>`
 
?????????????????????????????????????????????????????????????????????????????????????????????
 
scripts/coccinelle?????????????????????????????????????????????????????????????????????
 ???make 
coccicheck?????????????????????????????????????????????????????????????????????????????????????????????
diff --git a/Documentation/translations/it_IT/process/4.Coding.rst 
b/Documentation/translations/it_IT/process/4.Coding.rst
index 3126342c4b4a..a2ec35e016b7 100644
--- a/Documentation/translations/it_IT/process/4.Coding.rst
+++ b/Documentation/translations/it_IT/process/4.Coding.rst
@@ -329,7 +329,8 @@ Sparse deve essere installato separatamente (se il vostra 
distribuzione non
 lo prevede, potete trovarlo su 
https://sparse.wiki.kernel.org/index.php/Main_Page);
 pu?? essere attivato sul codice aggiungendo "C=1" al comando make.
 
-Lo strumento "Coccinelle" (http://coccinelle.lip6.fr/) ?? in grado di trovare
+Lo strumento "Coccinelle" (https://coccinelle.gitlabpages.inria.fr/website/)
+?? in grado di trovare
 una vasta variet?? di potenziali problemi di codifica; e pu?? inoltre proporre
 soluzioni per risolverli.  Un buon numero di "patch semantiche" per il kernel
 sono state preparate nella cartella scripts/coccinelle; utilizzando
diff --git a/Documentation/dev-tools/coccinelle.rst 
b/Documentation/dev-tools/coccinelle.rst
index c714780d458a..05614c469b47 100644
--- a/Documentation/dev-tools/coccinelle.rst
+++ b/Documentation/dev-tools/coccinelle.rst
@@ -34,7 +34,7 @@ of many distributions, e.g. :
 
 Some distribution packages are obsolete and it is recommended
 to use the latest version released from the Coccinelle homepage at
-http://coccinelle.lip6.fr/
+https://coccinelle.gitlabpages.inria.fr/website
 
 Or from Github at:
 
diff --git a/Documentation/translations/sp_SP/process/4.Coding.rst 
b/Documentation/translations/sp_SP/process/4.Coding.rst
index 7cc347c34354..6c3750ccdea2 100644
--- a/Documentation/translations/sp_SP/process/4.Coding.rst
+++ b/Documentation/translations/sp_SP/process/4.Coding.rst
@@ -336,7 +336,8 @@ https://sparse.wiki.kernel.org/index.php/Main_Page si su 
distribuci??n no lo
 empaqueta); luego, puede ejecutarse en el c??digo agregando "C=1" a su
 comando make.
 
-La herramienta "Coccinelle" (http://coccinelle.lip6.fr/) puede encontrar
+La herramienta "Coccinelle" (https://coccinelle.gitlabpages.inria.fr/website/)
+puede encontrar
 una amplia variedad de posibles problemas de codificaci??n; tambi??n puede
 proponer correcciones para esos problemas. Bastantes "parches sem??nticos"
 para el kernel se han empaquetado en el directorio scripts/coccinelle;


Reply via email to