diff --git a/_fc-publications/README b/_fc-publications/README index d09acc64c5da91343bb03c0b60f69ca14e4b7985..18cfd1b1d3edc2beb757517e6e6d4c77b724e1d5 100644 --- a/_fc-publications/README +++ b/_fc-publications/README @@ -8,17 +8,17 @@ Add your plug-in to the file `_data/publications.yml`. Note there are 3 categories: - distributed with Frama-C - - internal CEA plug-in - - external plug-in + - internal CEA plug-in + - external plug-in Put your plug-in in the right one. There are two mandatory fields and an optional one: - id: a unique identifier, with only lower-case characters - - name: the name of your plug-in - - short: a short name for your plug-in if its name is more than 10 characters - long. + - name: the name of your plug-in + - short: a short name for your plug-in if its name is more than 10 characters + long. Create a directory named as the unique identifier of your plugin in the directory `_fc-publications`. @@ -76,4 +76,4 @@ In other directories, it can be: - other Note that if you think you need a new category, it can be added, but the file -`html/publications.html` should be updated accordingly. \ No newline at end of file +`html/publications.html` should be updated accordingly.