minor

src/docs/web/webdav.en.md

@@ -245,5 +245,5 @@ production:
     # output is stored in a folder called `output` - but you can use 
     # whatever system you prefer to build your website
     - pip3 install git+https://git.autistici.org/ai3/tools/webdav-upload#egg=webdav_upload
-    - webdav-upload --user="$WEBDAV_USER" --password="$WEBDAV_PASSWORD" --url "https://www.autistici.org/dav/$WEBDAV_USER/" output html-mywebsite
+    - 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