diff --git a/tests/run-tests b/tests/run-tests
index 7629f431..f7acd069 100755
--- a/tests/run-tests
+++ b/tests/run-tests
@@ -115,7 +115,10 @@ $fdroid --version
 echo_header "build the TeX manual"
 
 cd $WORKSPACE/docs
-./gendocs.sh -o html --email admin@f-droid.org fdroid "F-Droid Server Manual"
+# this is only ever generated officially on GNU/Linux
+if [ `uname -s` == "Linux" ]; then
+    ./gendocs.sh -o html --email admin@f-droid.org fdroid "F-Droid Server Manual"
+fi
 
 
 #------------------------------------------------------------------------------#