From d57d533e19ee9c8e54de77991594d96d1649a6fd Mon Sep 17 00:00:00 2001
From: dessant <dessant@users.noreply.github.com>
Date: Sun, 29 Nov 2015 23:43:38 +0200
Subject: [PATCH] remove comment

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;