diff --git a/.travis.yml b/.travis.yml index 8367378cf..40425bc9f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -116,7 +116,6 @@ script: fi; if [ "${RUN}" == "docs" ]; then make html; - make pdf || true; make pdf; fi; fi;