docs: update link from lip6 to inira

docs/manual/cocci_syntax.tex

@@ -4,7 +4,7 @@
 % our implementation using the Menhir parser generator \cite{menhir}.
 
 This document presents the grammar of the SmPL language used by the
-\href{http://coccinelle.lip6.fr/}{Coccinelle tool}.  For the most
+\href{https://coccinelle.gitlabpages.inria.fr/website/}{Coccinelle tool}.  For the most
 part, the grammar is written using standard notation.  In some rules,
 however, the left-hand side is in all uppercase letters.  These are
 macros, which take one or more grammar rule right-hand-sides as
@@ -22,10 +22,10 @@ presence of that term is optional.
 %
 \ifhevea
 A PDF version of this documentation is available at
-\url{http://coccinelle.lip6.fr/docs/main_grammar.pdf}.
+\url{https://coccinelle.gitlabpages.inria.fr/website/docs/main_grammar.pdf}.
 \else
 An HTML version of this documentation is available online at
-\url{http://coccinelle.lip6.fr/docs/main_grammar.html}.
+\url{https://coccinelle.gitlabpages.inria.fr/website/docs/main_grammar.html}.
 \fi
 
 \section{Program}

docs/manual/main.tex

@@ -149,7 +149,7 @@ Copyright \copyright~2008, 2009, Yoann Padioleau, Nicolas Palix, Julia Lawall, a
 \section*{Availability}
 
 Coccinelle can be freely downloaded
-from \url{http://coccinelle.lip6.fr}.\\
+from \url{https://coccinelle.gitlabpages.inria.fr/website}.\\
 This website contains also additional information and a wiki website.
 
 

docs/pycocci.1

@@ -145,7 +145,7 @@ use on your target path.
 
 .PP
 Further information about spatch is available at
-\fBhttp://coccinelle.lip6.fr/\fP.
+\fBhttps://coccinelle.gitlabpages.inria.fr/website/\fP.
 
 .SH OPTIONS
 Here is a summary of the options available on \fBpycocci\fP:

docs/spatch.1.in

@@ -48,7 +48,7 @@ transform multiple files at any number of code sites.
 
 .PP
 Further information about spatch is available at
-\fBhttp://coccinelle.lip6.fr/\fP.
+\fBhttps://coccinelle.gitlabpages.inria.fr/website/\fP.
 
 Semantic patch examples can be found at \fBhttp://coccinellery.org/\fP,
 and at the \fBscripts/coccinelle\fP directory of the Linux Kernel source