diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 284c42249a722fe717e58f857a6748ace3fdffbb..7e15b61cbbc8002fa30d3bd8f519078557ff56b4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,6 +16,7 @@ linux-runner:
     - bin/build.sh -C "" -o snapshot/bin/lisp
     - bin/make-dist.sh -I dist linux-4
     - bin/run-tests.sh -l dist/bin/lisp 2>&1 | tee test.log
+    - (cd src/docs/cmu-user; make cmu-user.html)
 
 osx-runner:
   tags: