diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1d23b6758c637792c751197789ec171d652ae8a4..ffd202a2e334fd8ea7b3bdeb973cc5a7950c06a5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,3 +22,12 @@ Python 3.5 POCL:
   - pocl
   except:
   - tags
+Documentation:
+  script:
+  - EXTRA_INSTALL="numpy"
+  - curl -L -O -k https://gitlab.tiker.net/inducer/ci-support/raw/master/build-docs.sh
+  - ". ./build-docs.sh"
+  tags:
+  - python3.5
+  only:
+  - master
diff --git a/doc/upload-docs.sh b/doc/upload-docs.sh
index 04ba9f2dd807c4bc0cfc3a374d164155222ca311..a4d6ad01cb554c9c59ad6103a87c67f8da006a02 100755
--- a/doc/upload-docs.sh
+++ b/doc/upload-docs.sh
@@ -1,3 +1,3 @@
 #! /bin/sh
 
-rsync --progress --verbose --archive --delete _build/html/* doc-upload:doc/grudge
+rsync --verbose --archive --delete _build/html/* doc-upload:doc/grudge