diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index eb99d980df29ab9f200dafdf896b3fc8fab80474..881c572b6cecf14ce93e2838f41be2902c73522d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -68,6 +68,10 @@ www:
   ##
   - cp $SSH_KNOWN_HOSTS ~/.ssh/known_hosts
   script:
+  # Generate YAML files that provide the list of versions whose technical
+  # documentation is available on the website.
+  - bin/gen_versions_yml.sh
+  # Publish the web site
   - bin/publish.sh
 
 deploy:test: