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