changed the git clone url to the gitlab one

README.md

@@ -8,4 +8,4 @@ Contact: Florent.de-Dinechin@insa-lyon.fr, Martin.Kumm@informatik.hs-fulda.de
 
 The intent of the authors is to distribute FloPoCo as free software (in the FSF AGPL sense), while imposing that the source code generated by FloPoCo is also free software (also AGPL-like). 
 
-The build procedure is shown in the installation guide that you can find here: ./doc/web/flopoco_installation.html 
+The build procedure is shown in the installation guide that you can find in doc/web/flopoco_installation.html 

doc/web/install_scripts/README

 These are install scripts for various versions of flopoco on various environments.
 They are intended to work as well in vagrant as in docker.
+Remarks:
+ "full" means an installation of FloPoCo with all the bells and whistles.
+ "plain" means a simpler installation with a reduced number of dependencies.
+ "bionic" means Ubuntu 18.04
+ "focal"  means Ubuntu 20.04  (both are Long-Term Releases)

doc/web/install_scripts/install-full-gitmaster-on-bionic64.sh

@@ -20,7 +20,7 @@ cd pagsuite/trunk/oscm  && mkdir build && cd build && cmake .. && make -j2 && su
 cd pagsuite/trunk/rpag  && mkdir build && cd build && cmake .. && make -j2 && sudo make install  &&  cd $BASEDIR
 
 #Finally FloPoCo itself, 
-git clone https://scm.gforge.inria.fr/anonscm/git/flopoco/flopoco.git 
+git clone git@gitlab.inria.fr:fdupont/flopoco.git
 cd flopoco && mkdir build && cd build && cmake -DSCALP_PREFIX_DIR="$BASEDIR/scalp/trunk/" .. && make -j2 &&  cd $BASEDIR
 
 # build the html documentation in doc/web. 

doc/web/install_scripts/install-full-gitmaster-on-focal64.sh

@@ -20,7 +20,8 @@ cd pagsuite/trunk/oscm  && mkdir build && cd build && cmake .. && make -j2 && su
 cd pagsuite/trunk/rpag  && mkdir build && cd build && cmake .. && make -j2 && sudo make install  &&  cd $BASEDIR
 
 #Finally FloPoCo itself, 
-git clone https://scm.gforge.inria.fr/anonscm/git/flopoco/flopoco.git 
+# git clone https://scm.gforge.inria.fr/anonscm/git/flopoco/flopoco.git
+git clone git@gitlab.inria.fr:fdupont/flopoco.git
 cd flopoco && mkdir build && cd build && cmake -DSCALP_PREFIX_DIR="$BASEDIR/scalp/trunk/" .. && make -j2 &&  cd $BASEDIR
 
 # build the html documentation in doc/web. 

doc/web/install_scripts/install-plain-gitmaster-on-bionic64.sh

@@ -5,7 +5,8 @@ yes | sudo apt update && sudo apt install -y subversion git cmake sollya wget g+
 BASEDIR=$PWD
 git clone https://scm.gforge.inria.fr/anonscm/git/metalibm/wcpg.git && cd wcpg && sh autogen.sh && ./configure && make && sudo make install && cd $BASEDIR
 
-git clone https://scm.gforge.inria.fr/anonscm/git/flopoco/flopoco.git 
+#git clone https://scm.gforge.inria.fr/anonscm/git/flopoco/flopoco.git 
+git clone git@gitlab.inria.fr:fdupont/flopoco.git
 cd flopoco && mkdir build && cd build && cmake .. && make &&  cd $BASEDIR
 
 # build the html documentation in doc/web. 

doc/web/install_scripts/install-plain-gitmaster-on-focal64.sh

+#!/bin/bash
+
+yes | sudo apt update && sudo apt install -y subversion git cmake sollya wget g++ libsollya-dev flex bison libboost-all-dev autotools-dev autoconf automake f2c libblas-dev liblapack-dev libtool liblpsolve55-dev lp-solve
+
+BASEDIR=$PWD
+git clone https://scm.gforge.inria.fr/anonscm/git/metalibm/wcpg.git && cd wcpg && sh autogen.sh && ./configure && make && sudo make install && cd $BASEDIR
+
+#git clone https://scm.gforge.inria.fr/anonscm/git/flopoco/flopoco.git 
+git clone git@gitlab.inria.fr:fdupont/flopoco.git
+cd flopoco && mkdir build && cd build && cmake .. && make &&  cd $BASEDIR
+
+# build the html documentation in doc/web. 
+cd flopoco/build
+./flopoco BuildHTMLDoc
+
+# Pure luxury: bash autocompletion. This should be called only once
+./flopoco BuildAutocomplete
+mkdir ~/.bash_completion.d/
+mv flopoco_autocomplete ~/.bash_completion.d/flopoco
+echo ". ~/.bash_completion.d/flopoco" >> ~/.bashrc
+
+# Now show the list of operators
+./flopoco