From 5ff102fcf6e59b6446e28b69fd598cc310c2b22e Mon Sep 17 00:00:00 2001 From: Benoit Chevallier-Mames Date: Fri, 24 Sep 2021 17:29:33 +0200 Subject: [PATCH] fix: develop has a single p. --- docs/README.md | 2 +- docs/dev/howto/DOCUMENTING.md | 2 +- docs/index.rst | 4 ++-- docs/user/howto/DEBUG_SUPPORT_SUBMIT_ISSUES.md | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/README.md b/docs/README.md index 3cdf1de02..f32164fce 100644 --- a/docs/README.md +++ b/docs/README.md @@ -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 diff --git a/docs/dev/howto/DOCUMENTING.md b/docs/dev/howto/DOCUMENTING.md index 1c73f7df1..cd955691a 100644 --- a/docs/dev/howto/DOCUMENTING.md +++ b/docs/dev/howto/DOCUMENTING.md @@ -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 diff --git a/docs/index.rst b/docs/index.rst index e75fb5d81..7ddeea81a 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -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 diff --git a/docs/user/howto/DEBUG_SUPPORT_SUBMIT_ISSUES.md b/docs/user/howto/DEBUG_SUPPORT_SUBMIT_ISSUES.md index b87f1c7cb..96a8e8ba4 100644 --- a/docs/user/howto/DEBUG_SUPPORT_SUBMIT_ISSUES.md +++ b/docs/user/howto/DEBUG_SUPPORT_SUBMIT_ISSUES.md @@ -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).