From fe6968f01d7de19e4fcbec41fbc73099045eb6bd Mon Sep 17 00:00:00 2001
From: lethosor <lethosor@gmail.com>
Date: Thu, 11 Aug 2016 11:57:42 -0400
Subject: [PATCH] Fix script-docs.py error with missing opening token

---
 travis/script-docs.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/travis/script-docs.py b/travis/script-docs.py
index 2bce4bfd2..33b2818c8 100644
--- a/travis/script-docs.py
+++ b/travis/script-docs.py
@@ -42,6 +42,11 @@ def check_file(fname):
             else:
                 print('Error: no documentation in: ' + fname)
             return 1
+
+    if not doclines:
+        print('Error: missing or malformed documentation in: ' + fname)
+        return 1
+
     title, underline = [d for d in doclines
                         if d and '=begin' not in d and '[====[' not in d][:2]
     if underline != '=' * len(title):