From 19456d45e687ebcb2c7658fecaa214f44897eaea Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Tue, 27 Sep 2016 10:16:53 +0200
Subject: [PATCH] Fix doc build (fixes #12964)

---
 etc/ci/upload_docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/ci/upload_docs.sh b/etc/ci/upload_docs.sh
index 4d159ce53d8..e2907921b11 100755
--- a/etc/ci/upload_docs.sh
+++ b/etc/ci/upload_docs.sh
@@ -18,7 +18,7 @@ cd "$(dirname ${0})/../.."
 # etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
 cp etc/doc.servo.org/* target/doc/
 
-python components/style/properties/build.py servo html
+python components/style/properties/build.py servo html regular
 
 cd components/script
 cmake .