diff --git a/.travis.yml b/.travis.yml
index 922ac696b..a3a28d438 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -53,7 +53,7 @@ script:
     fi;
   - if [ "${RUN}" == "docs" ]; then
       make html;
-      make pdf || true;  # first attempt may fail
+      make pdf || true;
       make pdf;
     fi;