This helps with getting the tests running on OSX and other platforms.
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
#------------------------------------------------------------------------------#