From 76f4ae729fffc1a206cfda3401bac46e160ea450 Mon Sep 17 00:00:00 2001
From: obaz <obaz@autistici.org>
Date: Tue, 7 Apr 2020 15:00:25 +0200
Subject: [PATCH] minor
---
src/docs/web/webdav.en.md | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/docs/web/webdav.en.md b/src/docs/web/webdav.en.md
index 4dd24f9..0bc392d 100644
--- a/src/docs/web/webdav.en.md
+++ b/src/docs/web/webdav.en.md
@@ -226,11 +226,11 @@ To do so, you will need to add the following lines to your `.gitlab-ci.yml` fil
In the above command, replace the following:
- - `output-folder` should be the name of the folder where your website is generated within the Gitlab runner.
- - `html-yourwebsite` should be replaced by the name of the folder in your webspace, so if your website is inventati.org/foo, your folder name will be `html-foo`.
- - You can store your user name and password as variables in your Gitlab CI / CD settings. In the above command, the variables are called WEBDAV_USER and WEBDAV_PASSWORD.
+ - `output-folder` should be the name of the folder where your website is generated within the Gitlab runner.
+ - `html-yourwebsite` should be replaced by the name of the folder in your webspace, so if your website is inventati.org/foo, your folder name will be `html-foo`.
+ - You can store your user name and password as variables in your Gitlab CI / CD settings. In the above command, the variables are called WEBDAV_USER and WEBDAV_PASSWORD.
- **We strongly recommend you to use this method, rather than adding the user name and password to your script, especially if your repository is publicly accessible!**
+ **We strongly recommend you use this method, rather than adding the user name and password to your script, especially if your repository is publicly accessible!**
What follows is an example of a full script:
--
GitLab