fix: develop has a single p.

This commit is contained in:
Benoit Chevallier-Mames
2021-09-24 17:29:33 +02:00
committed by Benoit Chevallier
parent f6af0b0742
commit 5ff102fcf6
4 changed files with 5 additions and 5 deletions

View File

@@ -22,7 +22,7 @@ In the first version of Concrete, there is a single frontend, called homomorphic
Basically, we have divided our documentation into several parts:
- one about basic elements, notably description of the installation, that you are currently reading
- one dedicated to _users_ of **Concrete**, with tutorials, how-to's and deeper explanations
- and finally, one dedicated to _developpers_ of **Concrete**, who could be internal or external contributors to the framework
- and finally, one dedicated to _developers_ of **Concrete**, who could be internal or external contributors to the framework
## A work in progress

View File

@@ -11,7 +11,7 @@ make docs
Remark that this needs to be done in docker.
The documentation contains both files written by hand by developpers (the .md files) and files automatically created by parsing the source files.
The documentation contains both files written by hand by developers (the .md files) and files automatically created by parsing the source files.
### Opening doc

View File

@@ -52,7 +52,7 @@ Concrete Framework's documentation
.. toctree::
:maxdepth: 2
:caption: Developper - How To
:caption: Developer - How To
dev/howto/PROJECT_SETUP.md
dev/howto/DOCKER.md
@@ -62,7 +62,7 @@ Concrete Framework's documentation
.. toctree::
:maxdepth: 2
:caption: Developper - Explanation
:caption: Developer - Explanation
dev/explanation/COMPILATION.md
dev/explanation/TERMINOLOGY_AND_STRUCTURE.md

View File

@@ -31,7 +31,7 @@ Once you're sure it is a bug, it would be nice to try to:
## Asking the community
We have created a Slack channel (TODO: LINK TO BE ADDED), such that you can directly ask the developpers and community about your issue.
We have created a Slack channel (TODO: LINK TO BE ADDED), such that you can directly ask the developers and community about your issue.
Hopefully, it is just a misunderstanding or a small mistake on your side, that one can help you fix easily. And, the good point with your feedback is that, once we have heard the problem or misunderstanding, we can make the documentation even clearer (such as, completing the FAQ).