Frama-C Website

This is the working space for the Frama-C website. It uses Jekill, but you don't have to install anything, since everything is generated by the continuous integration.

For contributing

Get Git LFS from the git-lfs package or directly from:

curl -s https://packagecloud.io/install/repositories/github/git-lfs/script.deb.sh | sudo bash
sudo aptitude install git-lfs

Get the repository normaly:

git clone git@git.frama-c.com:frama-c/frama-c.frama-c.com

The bigfiles of the website (*.pdf, *.tar.gz) are not directly in the git repository, only a text file is present.

You can download locally one file:

git lfs pull -X "" -I foo.pdf

Or all pdf:

git lfs pull -X "" -I "*.pdf"

If you want to edit the website before the release, for updating informations, for releasing your plugin, I strongly encourage you to do so. As usual you can use a branch feature/... and a merge-request to master.

If you want to add a bigfile you have nothing to do. git push will send the needed files.