aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/en/admins/02_Prerequisites.md2
-rw-r--r--docs/en/developers/01_Index.md2
-rw-r--r--docs/en/developers/02_GitHub.md (renamed from docs/en/developers/02_Github.md)0
-rw-r--r--docs/en/developers/03_Backend/05_Extensions.md2
-rw-r--r--docs/en/users/07_Frequently_Asked_Questions.md2
-rw-r--r--docs/fr/developers/03_Backend/05_Extensions.md2
-rw-r--r--docs/fr/users/01_Installation.md2
-rw-r--r--docs/fr/users/07_Frequently_Asked_Questions.md2
-rw-r--r--docs/i18n/freshrss.fr.po58
-rw-r--r--docs/i18n/templates/freshrss.pot54
-rw-r--r--docs/po4a.conf2
11 files changed, 64 insertions, 64 deletions
diff --git a/docs/en/admins/02_Prerequisites.md b/docs/en/admins/02_Prerequisites.md
index 490ff31c3..6902a97e7 100644
--- a/docs/en/admins/02_Prerequisites.md
+++ b/docs/en/admins/02_Prerequisites.md
@@ -32,6 +32,6 @@ It could happen that we make two releases in a short span of time if we have a r
As its name suggests, the development version is the working codebase, intended for developers. **This release may be unstable!**
-If you want to keep track of the most recent enhancements or help the developers with bug reports, this is the branch for you. If you use this version, please keep in mind that you need to follow the branch activity on Github (via [the branch RSS feed](https://github.com/FreshRSS/FreshRSS/commits/edge.atom), for instance), and manually pull new commits.
+If you want to keep track of the most recent enhancements or help the developers with bug reports, this is the branch for you. If you use this version, please keep in mind that you need to follow the branch activity on GitHub (via [the branch RSS feed](https://github.com/FreshRSS/FreshRSS/commits/edge.atom), for instance), and manually pull new commits.
Some say that the main developers use this branch on a daily basis without problem. They may know what they are doing…
diff --git a/docs/en/developers/01_Index.md b/docs/en/developers/01_Index.md
index c3787377a..0e59b8c12 100644
--- a/docs/en/developers/01_Index.md
+++ b/docs/en/developers/01_Index.md
@@ -6,7 +6,7 @@ Start by creating your development environment. A guide to setting up FreshRSSâ€
## After That
-* [Github Branching and Pushing](02_Github.md)
+* [GitHub Branching and Pushing](02_GitHub.md)
* [Running tests](03_Running_tests.md)
* [Creating a pull request](04_Pull_requests.md)
* [Releasing a new version](05_Release_new_version.md)
diff --git a/docs/en/developers/02_Github.md b/docs/en/developers/02_GitHub.md
index 066d6ffb0..066d6ffb0 100644
--- a/docs/en/developers/02_Github.md
+++ b/docs/en/developers/02_GitHub.md
diff --git a/docs/en/developers/03_Backend/05_Extensions.md b/docs/en/developers/03_Backend/05_Extensions.md
index 602625cf8..164a309ed 100644
--- a/docs/en/developers/03_Backend/05_Extensions.md
+++ b/docs/en/developers/03_Backend/05_Extensions.md
@@ -2,7 +2,7 @@
## About FreshRSS
-FreshRSS is an RSS / Atom feed aggregator written in PHP dating back to October 2012. The official site is located at [freshrss.org](https://freshrss.org) and the official repository is hosted on Github: [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS).
+FreshRSS is an RSS / Atom feed aggregator written in PHP dating back to October 2012. The official site is located at [freshrss.org](https://freshrss.org) and the official repository is hosted on GitHub: [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS).
## The problem
diff --git a/docs/en/users/07_Frequently_Asked_Questions.md b/docs/en/users/07_Frequently_Asked_Questions.md
index 548762510..4e10a5eca 100644
--- a/docs/en/users/07_Frequently_Asked_Questions.md
+++ b/docs/en/users/07_Frequently_Asked_Questions.md
@@ -27,7 +27,7 @@ Here are the steps to follow:
1. __Verify if the feed syntax is valid__ with the [W3C on-line tool](https://validator.w3.org/feed/ "RSS and Atom feed validator"). If it’s not valid, there’s nothing we can do.
1. __Verify SimplePie validation__ with the [SimplePie on-line tool](https://simplepie.org/demo/ "SimplePie official demo"). If it’s not recognized, there’s nothing we can do.
-1. __Verify FreshRSS integration__ with the [demo](https://demo.freshrss.org "FreshRSS official demo"). If it’s not working, you need to [create an issue on Github](https://github.com/FreshRSS/FreshRSS/issues/new "Create an issue for FreshRSS") so we can have a look at it. If it’s working, there’s probably something fishy with the hosting server.
+1. __Verify FreshRSS integration__ with the [demo](https://demo.freshrss.org "FreshRSS official demo"). If it’s not working, you need to [create an issue on GitHub](https://github.com/FreshRSS/FreshRSS/issues/new "Create an issue for FreshRSS") so we can have a look at it. If it’s working, there’s probably something fishy with the hosting server.
## How can you change a forgotten password?
diff --git a/docs/fr/developers/03_Backend/05_Extensions.md b/docs/fr/developers/03_Backend/05_Extensions.md
index a8662ffa1..335eb5e6e 100644
--- a/docs/fr/developers/03_Backend/05_Extensions.md
+++ b/docs/fr/developers/03_Backend/05_Extensions.md
@@ -4,7 +4,7 @@
FreshRSS est un agrégateur de flux RSS / Atom écrit en PHP depuis octobre
2012. Le site officiel est situé à l’adresse
-[freshrss.org](https://freshrss.org) et son dépot Git est hébergé par Github
+[freshrss.org](https://freshrss.org) et son dépot Git est hébergé par GitHub
: [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS).
## Problème à résoudre
diff --git a/docs/fr/users/01_Installation.md b/docs/fr/users/01_Installation.md
index e77cf866e..3f4aaa45f 100644
--- a/docs/fr/users/01_Installation.md
+++ b/docs/fr/users/01_Installation.md
@@ -26,7 +26,7 @@ Cette version sort lorsqu’on considère qu’on a répondu à nos objectifs en
[Téléchargement](https://github.com/FreshRSS/FreshRSS/archive/edge.zip)
-Comme son nom l’indique, il s’agit de la version sur laquelle les développeurs travaillent. **Elle est donc instable !** Si vous souhaitez recevoir les améliorations au jour le jour, vous pouvez l’utiliser, mais attention à bien suivre les évolutions sur Github (via [le flux RSS de la branche](https://github.com/FreshRSS/FreshRSS/commits/edge.atom) par exemple). On raconte que les développeurs principaux l’utilisent quotidiennement sans avoir de soucis. Sans doute savent-ils ce qu’ils font…
+Comme son nom l’indique, il s’agit de la version sur laquelle les développeurs travaillent. **Elle est donc instable !** Si vous souhaitez recevoir les améliorations au jour le jour, vous pouvez l’utiliser, mais attention à bien suivre les évolutions sur GitHub (via [le flux RSS de la branche](https://github.com/FreshRSS/FreshRSS/commits/edge.atom) par exemple). On raconte que les développeurs principaux l’utilisent quotidiennement sans avoir de soucis. Sans doute savent-ils ce qu’ils font…
## Installation sur Apache
diff --git a/docs/fr/users/07_Frequently_Asked_Questions.md b/docs/fr/users/07_Frequently_Asked_Questions.md
index 6e8153f1f..e420cb2c4 100644
--- a/docs/fr/users/07_Frequently_Asked_Questions.md
+++ b/docs/fr/users/07_Frequently_Asked_Questions.md
@@ -55,7 +55,7 @@ dans un premier temps déterminer la cause du problème.Voici la liste des
1. __Vérifier l’intégration dans FreshRSS__ grâce à la
[démo](https://demo.freshrss.org "Démo officielle de FreshRSS"). Si ça ne
fonctionne pas, il faut [créer un ticket sur
- Github](https://github.com/FreshRSS/FreshRSS/issues/new "Créer un ticket
+ GitHub](https://github.com/FreshRSS/FreshRSS/issues/new "Créer un ticket
pour FreshRSS") pour que l’on puisse regarder ce qui se passe. Si ça
fonctionne, il y a probablement un problème avec l’hébergement.
diff --git a/docs/i18n/freshrss.fr.po b/docs/i18n/freshrss.fr.po
index 3b15a0347..af44074c4 100644
--- a/docs/i18n/freshrss.fr.po
+++ b/docs/i18n/freshrss.fr.po
@@ -289,7 +289,7 @@ msgstr ""
#. type: Bullet: '* '
#: en/./developers/01_Index.md:16
-msgid "[Github Branching and Pushing](02_Github.md)"
+msgid "[GitHub Branching and Pushing](02_GitHub.md)"
msgstr ""
#. type: Bullet: '* '
@@ -1311,19 +1311,19 @@ msgstr ""
"];\n"
#. type: Title #
-#: en/./developers/02_Github.md:1
+#: en/./developers/02_GitHub.md:1
#, no-wrap
msgid "Branching"
msgstr "Système de branches"
#. type: Title ##
-#: en/./developers/02_Github.md:3
+#: en/./developers/02_GitHub.md:3
#, no-wrap
msgid "Basic"
msgstr "Élémentaire"
#. type: Plain text
-#: en/./developers/02_Github.md:6
+#: en/./developers/02_GitHub.md:6
msgid ""
"If you are new to Git, here are some of the resources you might find useful:"
msgstr ""
@@ -1331,63 +1331,63 @@ msgstr ""
"ĂŞtre utiles :"
#. type: Bullet: '* '
-#: en/./developers/02_Github.md:11
+#: en/./developers/02_GitHub.md:11
msgid "[GitHub’s blog post](https://github.com/blog/120-new-to-git)"
msgstr "[Article du blog de GitHub](https://github.com/blog/120-new-to-git)"
#. type: Bullet: '* '
-#: en/./developers/02_Github.md:11
+#: en/./developers/02_GitHub.md:11
msgid "<http://try.github.com/>"
msgstr "<http://try.github.com/>"
#. type: Bullet: '* '
-#: en/./developers/02_Github.md:11
+#: en/./developers/02_GitHub.md:11
msgid "<http://sixrevisions.com/resources/git-tutorials-beginners/>"
msgstr "<http://sixrevisions.com/resources/git-tutorials-beginners/>"
#. type: Bullet: '* '
-#: en/./developers/02_Github.md:11
+#: en/./developers/02_GitHub.md:11
msgid "<http://rogerdudler.github.io/git-guide/>"
msgstr "<http://rogerdudler.github.io/git-guide/>"
#. type: Title ##
-#: en/./developers/02_Github.md:12
+#: en/./developers/02_GitHub.md:12
#, no-wrap
msgid "Getting the latest code from the FreshRSS repository"
msgstr "Obtenir le dernier code du répertoire FreshRSS"
#. type: Plain text
-#: en/./developers/02_Github.md:15
+#: en/./developers/02_GitHub.md:15
msgid "First you need to add the official repo to your remote repo list:"
msgstr ""
"Vous devez avant tout ajouter le repo officiel Ă  votre liste de repo remote :"
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:16
+#: en/./developers/02_GitHub.md:16
#, no-wrap
msgid "git remote add upstream git@github.com:FreshRSS/FreshRSS.git\n"
msgstr "git remote add upstream git@github.com:FreshRSS/FreshRSS.git\n"
#. type: Plain text
-#: en/./developers/02_Github.md:21
+#: en/./developers/02_GitHub.md:21
msgid "You can verify the remote repo is successfully added by using:"
msgstr ""
"Vous pouvez vérifier que le repo remote a été ajouté avec succès en "
"utilisant :"
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:22
+#: en/./developers/02_GitHub.md:22
#, no-wrap
msgid "git remote -v show\n"
msgstr "git remote -v show\n"
#. type: Plain text
-#: en/./developers/02_Github.md:27
+#: en/./developers/02_GitHub.md:27
msgid "Now you can pull the latest development code:"
msgstr "Vous pouvez maintenant pull le dernier code de développement :"
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:28
+#: en/./developers/02_GitHub.md:28
#, no-wrap
msgid ""
"git checkout edge\n"
@@ -1397,25 +1397,25 @@ msgstr ""
"git pull upstream edge\n"
#. type: Title ##
-#: en/./developers/02_Github.md:33
+#: en/./developers/02_GitHub.md:33
#, no-wrap
msgid "Starting a new development branch"
msgstr "Lancer une nouvelle branche de développement"
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:35
+#: en/./developers/02_GitHub.md:35
#, no-wrap
msgid "git checkout -b my-development-branch\n"
msgstr "git checkout -b mon-branch-developpement\n"
#. type: Title ##
-#: en/./developers/02_Github.md:39
+#: en/./developers/02_GitHub.md:39
#, no-wrap
msgid "Sending a patch"
msgstr "Proposer un patch"
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:41
+#: en/./developers/02_GitHub.md:41
#, no-wrap
msgid ""
"# Add the changed file, here actualize_script.php\n"
@@ -1437,18 +1437,18 @@ msgstr ""
"git push\n"
#. type: Plain text
-#: en/./developers/02_Github.md:53
+#: en/./developers/02_GitHub.md:53
msgid "Now you can create a PR based on your branch."
msgstr "Vous pouvez maintenant créer une PR en fonction de votre branche."
#. type: Title ##
-#: en/./developers/02_Github.md:54
+#: en/./developers/02_GitHub.md:54
#, no-wrap
msgid "How to write a commit message"
msgstr "Comment écrire un message de commit"
#. type: Plain text
-#: en/./developers/02_Github.md:57
+#: en/./developers/02_GitHub.md:57
#, fuzzy
#| msgid ""
#| "A commit message should succintly describe the changes on the first line. "
@@ -1461,13 +1461,13 @@ msgstr ""
"première ligne. Par exemple :"
#. type: Plain text
-#: en/./developers/02_Github.md:59
+#: en/./developers/02_GitHub.md:59
#, no-wrap
msgid "> Fix broken icon\n"
msgstr "> Fixe une icône cassée\n"
#. type: Plain text
-#: en/./developers/02_Github.md:61
+#: en/./developers/02_GitHub.md:61
msgid ""
"If necessary, this can be followed by a blank line and a longer explanation."
msgstr ""
@@ -1475,7 +1475,7 @@ msgstr ""
"suivre."
#. type: Plain text
-#: en/./developers/02_Github.md:62
+#: en/./developers/02_GitHub.md:62
msgid "For further tips, see [here](https://chris.beams.io/posts/git-commit/)."
msgstr ""
"Pour d’autres conseils, voir [ici](https://chris.beams.io/posts/git-commit/)."
@@ -1533,12 +1533,12 @@ msgstr "Présentation de FreshRSS"
msgid ""
"FreshRSS is an RSS / Atom feed aggregator written in PHP dating back to "
"October 2012. The official site is located at [freshrss.org](https://"
-"freshrss.org) and the official repository is hosted on Github: [github.com/"
+"freshrss.org) and the official repository is hosted on GitHub: [github.com/"
"FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS)."
msgstr ""
"FreshRSS est un agrégateur de flux RSS / Atom écrit en PHP depuis octobre "
"2012. Le site officiel est situé à l’adresse [freshrss.org](https://freshrss."
-"org) et son dépot Git est hébergé par Github : [github.com/FreshRSS/FreshRSS]"
+"org) et son dépot Git est hébergé par GitHub : [github.com/FreshRSS/FreshRSS]"
"(https://github.com/FreshRSS/FreshRSS)."
#. type: Title ##
@@ -7811,13 +7811,13 @@ msgstr ""
msgid ""
"__Verify FreshRSS integration__ with the [demo](https://demo.freshrss.org "
"\"FreshRSS official demo\"). If it’s not working, you need to [create an "
-"issue on Github](https://github.com/FreshRSS/FreshRSS/issues/new \"Create an "
+"issue on GitHub](https://github.com/FreshRSS/FreshRSS/issues/new \"Create an "
"issue for FreshRSS\") so we can have a look at it. If it’s working, there’s "
"probably something fishy with the hosting server."
msgstr ""
"__Vérifier l’intégration dans FreshRSS__ grâce à la [démo](https://demo."
"freshrss.org \"Démo officielle de FreshRSS\"). Si ça ne fonctionne pas, il "
-"faut [créer un ticket sur Github](https://github.com/FreshRSS/FreshRSS/"
+"faut [créer un ticket sur GitHub](https://github.com/FreshRSS/FreshRSS/"
"issues/new \"Créer un ticket pour FreshRSS\") pour que l’on puisse regarder "
"ce qui se passe. Si ça fonctionne, il y a probablement un problème avec "
"l’hébergement."
diff --git a/docs/i18n/templates/freshrss.pot b/docs/i18n/templates/freshrss.pot
index ca48baebb..3cc0ca681 100644
--- a/docs/i18n/templates/freshrss.pot
+++ b/docs/i18n/templates/freshrss.pot
@@ -267,7 +267,7 @@ msgstr ""
#. type: Bullet: '* '
#: en/./developers/01_Index.md:16
#, markdown-text
-msgid "[Github Branching and Pushing](02_Github.md)"
+msgid "[GitHub Branching and Pushing](02_GitHub.md)"
msgstr ""
#. type: Bullet: '* '
@@ -1214,85 +1214,85 @@ msgid ""
msgstr ""
#. type: Title #
-#: en/./developers/02_Github.md:1
+#: en/./developers/02_GitHub.md:1
#, markdown-text, no-wrap
msgid "Branching"
msgstr ""
#. type: Title ##
-#: en/./developers/02_Github.md:3
+#: en/./developers/02_GitHub.md:3
#, markdown-text, no-wrap
msgid "Basic"
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:6
+#: en/./developers/02_GitHub.md:6
#, markdown-text
msgid "If you are new to Git, here are some of the resources you might find useful:"
msgstr ""
#. type: Bullet: '* '
-#: en/./developers/02_Github.md:11
+#: en/./developers/02_GitHub.md:11
#, markdown-text
msgid "[GitHub’s blog post](https://github.com/blog/120-new-to-git)"
msgstr ""
#. type: Bullet: '* '
-#: en/./developers/02_Github.md:11
+#: en/./developers/02_GitHub.md:11
#, markdown-text
msgid "<http://try.github.com/>"
msgstr ""
#. type: Bullet: '* '
-#: en/./developers/02_Github.md:11
+#: en/./developers/02_GitHub.md:11
#, markdown-text
msgid "<http://sixrevisions.com/resources/git-tutorials-beginners/>"
msgstr ""
#. type: Bullet: '* '
-#: en/./developers/02_Github.md:11
+#: en/./developers/02_GitHub.md:11
#, markdown-text
msgid "<http://rogerdudler.github.io/git-guide/>"
msgstr ""
#. type: Title ##
-#: en/./developers/02_Github.md:12
+#: en/./developers/02_GitHub.md:12
#, markdown-text, no-wrap
msgid "Getting the latest code from the FreshRSS repository"
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:15
+#: en/./developers/02_GitHub.md:15
#, markdown-text
msgid "First you need to add the official repo to your remote repo list:"
msgstr ""
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:16
+#: en/./developers/02_GitHub.md:16
#, no-wrap
msgid "git remote add upstream git@github.com:FreshRSS/FreshRSS.git\n"
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:21
+#: en/./developers/02_GitHub.md:21
#, markdown-text
msgid "You can verify the remote repo is successfully added by using:"
msgstr ""
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:22
+#: en/./developers/02_GitHub.md:22
#, no-wrap
msgid "git remote -v show\n"
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:27
+#: en/./developers/02_GitHub.md:27
#, markdown-text
msgid "Now you can pull the latest development code:"
msgstr ""
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:28
+#: en/./developers/02_GitHub.md:28
#, no-wrap
msgid ""
"git checkout edge\n"
@@ -1300,25 +1300,25 @@ msgid ""
msgstr ""
#. type: Title ##
-#: en/./developers/02_Github.md:33
+#: en/./developers/02_GitHub.md:33
#, markdown-text, no-wrap
msgid "Starting a new development branch"
msgstr ""
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:35
+#: en/./developers/02_GitHub.md:35
#, no-wrap
msgid "git checkout -b my-development-branch\n"
msgstr ""
#. type: Title ##
-#: en/./developers/02_Github.md:39
+#: en/./developers/02_GitHub.md:39
#, markdown-text, no-wrap
msgid "Sending a patch"
msgstr ""
#. type: Fenced code block (sh)
-#: en/./developers/02_Github.md:41
+#: en/./developers/02_GitHub.md:41
#, no-wrap
msgid ""
"# Add the changed file, here actualize_script.php\n"
@@ -1332,19 +1332,19 @@ msgid ""
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:53
+#: en/./developers/02_GitHub.md:53
#, markdown-text
msgid "Now you can create a PR based on your branch."
msgstr ""
#. type: Title ##
-#: en/./developers/02_Github.md:54
+#: en/./developers/02_GitHub.md:54
#, markdown-text, no-wrap
msgid "How to write a commit message"
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:57
+#: en/./developers/02_GitHub.md:57
#, markdown-text
msgid ""
"A commit message should succinctly describe the changes on the first "
@@ -1352,19 +1352,19 @@ msgid ""
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:59
+#: en/./developers/02_GitHub.md:59
#, markdown-text, no-wrap
msgid "> Fix broken icon\n"
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:61
+#: en/./developers/02_GitHub.md:61
#, markdown-text
msgid "If necessary, this can be followed by a blank line and a longer explanation."
msgstr ""
#. type: Plain text
-#: en/./developers/02_Github.md:62
+#: en/./developers/02_GitHub.md:62
#, markdown-text
msgid "For further tips, see [here](https://chris.beams.io/posts/git-commit/)."
msgstr ""
@@ -1424,7 +1424,7 @@ msgid ""
"FreshRSS is an RSS / Atom feed aggregator written in PHP dating back to "
"October 2012. The official site is located at "
"[freshrss.org](https://freshrss.org) and the official repository is hosted "
-"on Github: "
+"on GitHub: "
"[github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS)."
msgstr ""
@@ -7303,7 +7303,7 @@ msgstr ""
msgid ""
"__Verify FreshRSS integration__ with the [demo](https://demo.freshrss.org "
"\"FreshRSS official demo\"). If it’s not working, you need to [create an "
-"issue on Github](https://github.com/FreshRSS/FreshRSS/issues/new \"Create an "
+"issue on GitHub](https://github.com/FreshRSS/FreshRSS/issues/new \"Create an "
"issue for FreshRSS\") so we can have a look at it. If it’s working, there’s "
"probably something fishy with the hosting server."
msgstr ""
diff --git a/docs/po4a.conf b/docs/po4a.conf
index f5522e973..4596a2338 100644
--- a/docs/po4a.conf
+++ b/docs/po4a.conf
@@ -5,7 +5,7 @@
[type: text] en/./contributing.md $lang:$lang/./contributing.md opt:"-o markdown" opt:"-M utf-8"
[type: text] en/./developers/01_Index.md $lang:$lang/./developers/01_Index.md opt:"-o markdown" opt:"-M utf-8"
[type: text] en/./developers/02_First_steps.md $lang:$lang/./developers/02_First_steps.md opt:"-o markdown" opt:"-M utf-8"
-[type: text] en/./developers/02_Github.md $lang:$lang/./developers/02_Github.md opt:"-o markdown" opt:"-M utf-8"
+[type: text] en/./developers/02_GitHub.md $lang:$lang/./developers/02_GitHub.md opt:"-o markdown" opt:"-M utf-8"
[type: text] en/./developers/03_Backend/01_Database_schema.md $lang:$lang/./developers/03_Backend/01_Database_schema.md opt:"-o markdown" opt:"-M utf-8"
[type: text] en/./developers/03_Backend/03_External_libraries.md $lang:$lang/./developers/03_Backend/03_External_libraries.md opt:"-o markdown" opt:"-M utf-8"
[type: text] en/./developers/03_Backend/05_Extensions.md $lang:$lang/./developers/03_Backend/05_Extensions.md opt:"-o markdown" opt:"-M utf-8"