Skip to content
Snippets Groups Projects
Commit e824c7ef authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Fix README

parent af66f658
No related branches found
No related tags found
1 merge request!11publis
Pipeline #28495 passed
...@@ -8,17 +8,17 @@ Add your plug-in to the file `_data/publications.yml`. Note there are 3 ...@@ -8,17 +8,17 @@ Add your plug-in to the file `_data/publications.yml`. Note there are 3
categories: categories:
- distributed with Frama-C - distributed with Frama-C
- internal CEA plug-in - internal CEA plug-in
- external plug-in - external plug-in
Put your plug-in in the right one. Put your plug-in in the right one.
There are two mandatory fields and an optional one: There are two mandatory fields and an optional one:
- id: a unique identifier, with only lower-case characters - id: a unique identifier, with only lower-case characters
- name: the name of your plug-in - name: the name of your plug-in
- short: a short name for your plug-in if its name is more than 10 characters - short: a short name for your plug-in if its name is more than 10 characters
long. long.
Create a directory named as the unique identifier of your plugin in the Create a directory named as the unique identifier of your plugin in the
directory `_fc-publications`. directory `_fc-publications`.
...@@ -76,4 +76,4 @@ In other directories, it can be: ...@@ -76,4 +76,4 @@ In other directories, it can be:
- other - other
Note that if you think you need a new category, it can be added, but the file Note that if you think you need a new category, it can be added, but the file
`html/publications.html` should be updated accordingly. `html/publications.html` should be updated accordingly.
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment