Fix script-docs.py error with missing opening token

develop
lethosor 2016-08-11 11:57:42 -04:00
parent eef6f9bfb7
commit fe6968f01d
1 changed files with 5 additions and 0 deletions

@ -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):