From 85a820efb010a0403b4e8c80ad0626fe8825ecd7 Mon Sep 17 00:00:00 2001
From: T <shrmrf@users.noreply.github.com>
Date: Thu, 7 Feb 2019 22:26:14 +0100
Subject: [PATCH] GITHUB_TOKEN not defined on main repo

---
 .travis.yml | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 7903049..885028e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,14 +9,14 @@ addons:
       - doxygen
 
 script:
-    #  - docker build .
+  - docker build .
   - doxygen doxygen.conf
   
-deploy:
-  provider: pages
-  skip_cleanup: true
-  local_dir: public
-  github_token: $GITHUB_TOKEN
-  keep-history: true
-  on:
-    branch: master
+    #deploy:
+    #  provider: pages
+    #  skip_cleanup: true
+    #  local_dir: public
+    #  github_token: $GITHUB_TOKEN
+    #  keep-history: true
+    #  on:
+    #    branch: master