From e824c7efea913ad48f8ddeca6aa6146405e666c2 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Tue, 1 Sep 2020 07:51:43 +0200 Subject: [PATCH] Fix README --- _fc-publications/README | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/_fc-publications/README b/_fc-publications/README index d09acc64..18cfd1b1 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. -- GitLab