# 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.