+
+pages:
+ stage: deploy
+ script:
+# - cmake -Denable_model-checking=OFF -Denable_documentation=ON -Denable_compile_optimizations=OFF -Denable_smpi=OFF -Dpython=ON -DLTO_EXTRA_FLAG="auto" .
+# - make -j$(nproc)
+ - pip3 install --requirement docs/requirements.txt
+ - cd docs
+ - LC_ALL=C.UTF-8 ./Build.sh
+ - mv build/html ../public
+ # - The CSS contains a reference to a font or something, not something we gonna fix on our side
+ # - The javasphinx output does not exist in the git, so the "edit on FramaGit" link is broken.
+ # I'd like to report this as a bug, but javasphinx seems abandonned upstream.
+ - linkchecker --ignore-url='.*\.css$' --ignore-url=public/java/org ../public
+ # From time to time, we should check external links with the
+ # following, but it has a lot of false positive
+ # - linkchecker --ignore-url='.*\.css$' --ignore-url=public/java/org --check-extern ../public
+ artifacts:
+ paths:
+ - public
+ only:
+ - master
+ dependencies:
+ - ctest
+