docs: add links and use real filenames for .md pages

3 files changed, 34 insertions, 18 deletions

diff --git a/locales/en/LC_MESSAGES/package.po b/locales/en/LC_MESSAGES/package.po
index 7962ace..c0575a2 100644
--- a/locales/en/LC_MESSAGES/package.po
+++ b/locales/en/LC_MESSAGES/package.po
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: Hébergement CLUB1 main\n"
 "Report-Msgid-Bugs-To: nicolas@club1.fr\n"
-"POT-Creation-Date: 2022-03-31 15:52+0200\n"
+"POT-Creation-Date: 2022-03-31 16:26+0200\n"
 "PO-Revision-Date: 2022-03-29 21:01+0000\n"
 "Last-Translator: Nicolas Peugnet <n.peugnet@free.fr>\n"
 "Language-Team: English <https://hosted.weblate.org/projects/club-1/docs/en/"
@@ -680,7 +680,7 @@ msgstr ""
 #: ../../services/git.md:21
 msgid ""
 "Pour utiliser la fonctionnalité de dépôts Git publics sur CLUB1, il faut "
-"tout d'abord initialiser le dépôt à distance, avec [SSH](ssh), depuis un "
+"tout d'abord initialiser le dépôt à distance, avec [SSH](ssh.md), depuis un "
 "ordinateur personnel (remplacer `<login>` par votre **identifiant** et "
 "`<repo>` par le nom que vous voulez donner au dépôt)&nbsp;:"
 msgstr ""
@@ -705,19 +705,23 @@ msgstr ""
 msgid "Il y a ensuite deux cas de figure&nbsp;:"
 msgstr ""
 
-#: ../../services/git.md:43 ../../services/git.md:46
-msgid "Création d'un nouveau dépôt"
+#: ../../services/git.md:43
+msgid "[Création d'un nouveau dépôt](#création-dun-nouveau-dépôt)"
 msgstr ""
 
-#: ../../services/git.md:44 ../../services/git.md:70
-msgid "Publication d'un dépôt existant"
+#: ../../services/git.md:44
+msgid "[Publication d'un dépôt existant](#publication-dun-dépôt-existant)"
+msgstr ""
+
+#: ../../services/git.md:46
+msgid "Création d'un nouveau dépôt"
 msgstr ""
 
 #: ../../services/git.md:48
 msgid ""
 "Si le but est de créer un nouveau dépôt, alors le plus simple consiste à "
 "cloner celui-ci sur votre ordinateur personnel. On utilise pour cela "
-"l'adresse [SSH](ssh) car elle offre un accès en écriture au dépôt&nbsp;:"
+"l'adresse [SSH](ssh.md) car elle offre un accès en écriture au dépôt&nbsp;:"
 msgstr ""
 
 #: ../../services/git.md:55
@@ -732,6 +736,10 @@ msgid ""
 "par exemple&nbsp;:"
 msgstr ""
 
+#: ../../services/git.md:70
+msgid "Publication d'un dépôt existant"
+msgstr ""
+
 #: ../../services/git.md:72
 msgid ""
 "Si le but est de publier un dépôt existant, alors il suffit d'ajouter le "
diff --git a/locales/package.pot b/locales/package.pot
index 62594be..1c71261 100644
--- a/locales/package.pot
+++ b/locales/package.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: CLUB1 main\n"
 "Report-Msgid-Bugs-To: nicolas@club1.fr\n"
-"POT-Creation-Date: 2022-03-31 15:52+0200\n"
+"POT-Creation-Date: 2022-03-31 16:26+0200\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <LL@li.org>\n"
@@ -611,7 +611,7 @@ msgstr ""
 #: ../../services/git.md:21
 msgid ""
 "Pour utiliser la fonctionnalité de dépôts Git publics sur CLUB1, il faut "
-"tout d'abord initialiser le dépôt à distance, avec [SSH](ssh), depuis un "
+"tout d'abord initialiser le dépôt à distance, avec [SSH](ssh.md), depuis un "
 "ordinateur personnel (remplacer `<login>` par votre **identifiant** et "
 "`<repo>` par le nom que vous voulez donner au dépôt)&nbsp;:"
 msgstr ""
@@ -636,19 +636,23 @@ msgstr ""
 msgid "Il y a ensuite deux cas de figure&nbsp;:"
 msgstr ""
 
-#: ../../services/git.md:43 ../../services/git.md:46
-msgid "Création d'un nouveau dépôt"
+#: ../../services/git.md:43
+msgid "[Création d'un nouveau dépôt](#création-dun-nouveau-dépôt)"
 msgstr ""
 
-#: ../../services/git.md:44 ../../services/git.md:70
-msgid "Publication d'un dépôt existant"
+#: ../../services/git.md:44
+msgid "[Publication d'un dépôt existant](#publication-dun-dépôt-existant)"
+msgstr ""
+
+#: ../../services/git.md:46
+msgid "Création d'un nouveau dépôt"
 msgstr ""
 
 #: ../../services/git.md:48
 msgid ""
 "Si le but est de créer un nouveau dépôt, alors le plus simple consiste à "
 "cloner celui-ci sur votre ordinateur personnel. On utilise pour cela "
-"l'adresse [SSH](ssh) car elle offre un accès en écriture au dépôt&nbsp;:"
+"l'adresse [SSH](ssh.md) car elle offre un accès en écriture au dépôt&nbsp;:"
 msgstr ""
 
 #: ../../services/git.md:55
@@ -663,6 +667,10 @@ msgid ""
 "par exemple&nbsp;:"
 msgstr ""
 
+#: ../../services/git.md:70
+msgid "Publication d'un dépôt existant"
+msgstr ""
+
 #: ../../services/git.md:72
 msgid ""
 "Si le but est de publier un dépôt existant, alors il suffit d'ajouter le "
diff --git a/services/git.md b/services/git.md
index 9603edf..ae08a19 100644
--- a/services/git.md
+++ b/services/git.md
@@ -19,7 +19,7 @@ Tutoriel d'utilisation
 ----------------------
 
 Pour utiliser la fonctionnalité de dépôts Git publics sur CLUB1, il faut tout
-d'abord initialiser le dépôt à distance, avec [SSH](ssh), depuis un ordinateur personnel
+d'abord initialiser le dépôt à distance, avec [SSH](ssh.md), depuis un ordinateur personnel
 (remplacer `<login>` par votre **identifiant** et `<repo>` par le nom que vous
 voulez donner au dépôt)&nbsp;:
 
@@ -40,14 +40,14 @@ ne sera pas forcément visible tout de suite à cause du cache de cgit)&nbsp;:
 
 Il y a ensuite deux cas de figure&nbsp;:
 
-- Création d'un nouveau dépôt
-- Publication d'un dépôt existant
+- [Création d'un nouveau dépôt](#création-dun-nouveau-dépôt)
+- [Publication d'un dépôt existant](#publication-dun-dépôt-existant)
 
 ### Création d'un nouveau dépôt
 
 Si le but est de créer un nouveau dépôt, alors le plus simple consiste
 à cloner celui-ci sur votre ordinateur personnel.
-On utilise pour cela l'adresse [SSH](ssh) car elle offre un accès en écriture
+On utilise pour cela l'adresse [SSH](ssh.md) car elle offre un accès en écriture
 au dépôt&nbsp;:
 
     git clone <login>@club1.fr:git/<repo>