diff options
| -rwxr-xr-x | doc/doc_extract.py | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/doc/doc_extract.py b/doc/doc_extract.py index ae44677..3331ae0 100755 --- a/doc/doc_extract.py +++ b/doc/doc_extract.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python3 +#!/usr/bin/env python2 import sys import os @@ -18,11 +18,10 @@ def lstrip_lines(string): for line in string.splitlines(): result.append(line.lstrip()) - if len(result) > 0: - if len(result[0].strip()) == 0: - del result[0] - if len(result[-1].strip()) == 0: - del result[-1] + if len(result) > 0 and len(result[0].strip()) == 0: + del result[0] + if len(result) > 0 and len(result[-1].strip()) == 0: + del result[-1] return "\n".join(result) def extract_docs(filepath): |