minor

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