From 8f7f2e4c89f5678c9a9e5f3f713bb552774675e7 Mon Sep 17 00:00:00 2001
From: obaz <obaz@autistici.org>
Date: Tue, 7 Apr 2020 15:11:38 +0200
Subject: [PATCH] minor

---
 src/docs/web/webdav.en.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/docs/web/webdav.en.md b/src/docs/web/webdav.en.md
index b4b8e9c..109e707 100644
--- a/src/docs/web/webdav.en.md
+++ b/src/docs/web/webdav.en.md
@@ -237,9 +237,9 @@ production:
   script:
     - apt-get update -y && apt-get install -yq python3-pip
     - pip3 install git+https://git.autistici.org/ai3/tools/webdav-upload#egg=webdav_upload
-    - jekyll build -d output
+    - jekyll build -d output-folder
     # we assume you are building your website with jekyll and the
-    # output is stored in a folder called `output` - but you can use 
+    # output is stored in a folder called `output-folder` - but you can use 
     # whatever system you prefer to build your website
     - webdav-upload --user="$WEBDAV_USER" --password="$WEBDAV_PASSWORD" --url "https://www.autistici.org/dav/$WEBDAV_USER/" output-folder html-yourwebsite
 ```
\ No newline at end of file
-- 
GitLab