Show example of how to upload a static website from Gitlab CI

src/docs/web/webdav.en.md

@@ -196,3 +196,28 @@ You can connect with the **'WebDAV Nav'** App (free or pro version), which you w
 4.  Click "Save".
 5.  Now you can see a window with the name you've chosen: click on it, and if you visualize a window with light-blue folders, it means you
     are connected.
+
+
+Gitlab CI
+---
+
+If you're using a Gitlab instance to manage the sources of your static
+website, you might find it convenient to automatically upload new
+versions of the site on every change. You can use the
+[webdav-upload](https://git.autistici.org/ai3/tools/webdav-upload)
+tool to upload your website, or the result of your site rendering
+process, with a `.gitlab-ci.yml` file such as the following:
+
+```yaml
+production:
+  stage: deploy
+  script:
+    - ./build-website.sh
+    - 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
+```
+
+In the above example the site is built with the hypothetical
+*build-website.sh* script, then the contents of the *output* directory
+are uploaded to the *html-mywebsite* directory on the server, in the
+WebDAV space belonging to WEBDAV_USER.