Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
# 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.