Merge branch 'master' of git.frama-c.com:frama-c/frama-c.frama-c.com

.gitlab-ci.yml

@@ -6,9 +6,15 @@ image: ruby:2.4
 variables:
   JEKYLL_ENV: production
 
+# Cache gems in between builds
+cache:
+  paths:
+    - vendor/ruby
+
 before_script:
+- ruby -v                                   # Print out ruby version for debugging
 - gem install bundler -v '2.0.2'
-- bundle install
+- bundle install -j $(nproc) --path vendor
 
 test:
   stage: test
@@ -37,7 +43,5 @@ pages:
     paths:
     - public
     expire_in: 1 month
-  only:
-  - master
   tags:
   - docker

dokuwiki/start.md

@@ -2,63 +2,80 @@
 layout: clean_page
 title: Documentation
 ---
-# Welcome to the Frama-C Wiki.
-
-Is on-topic in this wiki anything that may be of help to others users of
-Frama-C and related tools: tips, changes that you have noticed,
-workarounds, etc. If it should have been in the manual, put it here. If
-it's too minute, platform-specific, or temporary to be a good fit for
-the manual, put it here. Your goal should be to make a wiki so clear and
-functional that it puts the authors of Frama-C's various manuals to
-shame.
-
-Do not be afraid to reorganize the words of others if you feel that
-makes the wiki more useful as a whole. They agreed to let you do that
-when they chose to participate, and so do you.
-
-To edit the wiki, you can submit a merge request on the corresponding gitlab repository [](insert link).
-
-For plug-ins documentation, some pages can be found here but all of them are otherwise available [/html/kernel-plugin.html](on the dedicated page).
-
------
-
-# Compilation and Installation
-
-Current and old releases of Frama-C are available on [this
-page](http://frama-c.com/download.html). It contains the official
-installation instructions for supported systems.
-
-Otherwise, [this Frama-C wiki
-page](/dokuwiki/compiling_from_source.html) contains extra instructions
-for compiling from source on non-supported platforms. It also contains
-instructions for compiling older releases.
-
-# FAQ, Tips and Tricks
-
-See [this page](/dokuwiki/faq.html), or this [slightly older
-one](/dokuwiki/frequently_asked_questions.html).
-
-# External plug-ins
-
-[External plug-ins](/dokuwiki/external_plugins.html) that you may find
-useful are available. The plug-ins currently described are **Jessie**,
-**Celia** and **Werror**.
-
-# Known issues
-
-  - The BTS has a [list of known
-    issues](http://bts.frama-c.com/view_all_bug_page.php).
-  - See [bug reporting guidelines](/dokuwiki/bug_reporting_guidelines.html) to
-    report a bug.
-
-# Open positions
-
-[Open positions](/dokuwiki/positions.html) in the Frama-C team are
-available.
-
-# Works about Frama-C
-
-  - [List of publications](/dokuwiki/publications.html)
-  - [Exercises](/dokuwiki/exercises.html)
-  - [Teaching](/dokuwiki/teaching.html)
-  - [Tutorials](/dokuwiki/tutorial.html)
+# Documentation
+
+<!-- Is on-topic in this wiki anything that may be of help to others users of -->
+<!-- Frama-C and related tools: tips, changes that you have noticed, -->
+<!-- workarounds, etc. If it should have been in the manual, put it here. If -->
+<!-- it's too minute, platform-specific, or temporary to be a good fit for -->
+<!-- the manual, put it here. Your goal should be to make a wiki so clear and -->
+<!-- functional that it puts the authors of Frama-C's various manuals to -->
+<!-- shame. -->
+
+Modification for this documentation, as for all this site, can be proposed by
+submitting a merge requests at the corresponding
+[https://git.frama-c.com/frama-c/frama-c.frama-c.com](gitlab repository).
+
+For plug-ins documentation, some pages can be found here but all of them are
+otherwise available [/html/kernel-plugin.html](on the dedicated page).
+
+Is on-topic anything that may be of help to others users of
+Frama-C and related tools: tips, changes that you have noticed,
+workarounds, etc.
+
+<!--  If it should have been in the manual, put it here. If -->
+<!-- it's too minute, platform-specific, or temporary to be a good fit for -->
+<!-- the manual, put it here. Your goal should be to make a wiki so clear and -->
+<!-- functional that it puts the authors of Frama-C's various manuals to -->
+<!-- shame. -->
+
+-----
+
+# Compilation and Installation
+
+Current and old releases of Frama-C are available on [this
+page](html/get-frama-c.html). It contains the official
+installation instructions for supported systems.
+
+Otherwise, [each releases](https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md) contains extra instructions
+for compiling from source.
+
+<!-- We could copy INSTALL.md to this repo -->
+
+# Contributing
+
+Frama-C is an open-source project which could be contrinuted through merge
+requests at this [Gitlab repository](https://git.frama-c.com/pub/frama-c/). The
+modalities are described in this [document](https://git.frama-c.com/pub/frama-c/CONTRIBUTING.md)
+
+<!-- We could copy CONTRIBUTING.md to this repo -->
+
+# FAQ, Tips and Tricks
+
+See [this page](/dokuwiki/faq.html), or this [slightly older
+one](/dokuwiki/frequently_asked_questions.html).
+
+# External plug-ins
+
+[External plug-ins](/dokuwiki/external_plugins.html) that you may find
+useful are available. The plug-ins currently described are **Jessie**,
+**Celia** and **Werror**.
+
+# Known issues
+
+  - The BTS has a [list of known
+    issues](http://bts.frama-c.com/view_all_bug_page.php).
+  - See [bug reporting guidelines](/dokuwiki/bug_reporting_guidelines.html) to
+    report a bug.
+
+# Open positions
+
+[Open positions](/dokuwiki/positions.html) in the Frama-C team are
+available.
+
+# Works about Frama-C
+
+  - [List of publications](/dokuwiki/publications.html)
+  - [Exercises](/dokuwiki/exercises.html)
+  - [Teaching](/dokuwiki/teaching.html)
+  - [Tutorials](/dokuwiki/tutorial.html)