[Doc] add farith2 documentation

.gitlab-ci.yml

@@ -62,6 +62,10 @@ pages:
   stage: deploy
   script:
   - JEKYLL_ENV="production" bundle exec jekyll build -d public --future
+  - wget -O farith2_doc.tar.gz "https://git.frama-c.com/pub/colibrics/-/jobs/artifacts/master/raw/farith2_doc.tar.gz?job=generate-static:%20[4.12.0]"
+  - mkdir -p public/html/doc/
+  - tar -C public/html/doc/ -xf farith2_doc.tar.gz
+  - mv public/html/doc/farith2 public/html/doc/farith
   artifacts:
     paths:
     - public