diff options
author | lloyd <[email protected]> | 2015-01-10 05:09:00 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2015-01-10 05:09:00 +0000 |
commit | ef2c4e617de1105a031560a65d18972c0c3ef030 (patch) | |
tree | fcbcd01ae0bdad52c034ad50bc671a29f888f884 /src/scripts/install.py | |
parent | 1162f1bb72f463727743565ce788e3724d259517 (diff) |
Dead code
Diffstat (limited to 'src/scripts/install.py')
-rwxr-xr-x | src/scripts/install.py | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/scripts/install.py b/src/scripts/install.py index 8e19ed91c..00174ee83 100755 --- a/src/scripts/install.py +++ b/src/scripts/install.py @@ -73,20 +73,6 @@ def makedirs(dirname, exist_ok = True): if e.errno != errno.EEXIST or not exist_ok: raise e -def license_text(rst_license): - end_of_rst = 'terms::' - contents = open(rst_license).read() - x = contents.find(end_of_rst) + len(end_of_rst) - - lines = contents[x:].split('\n') - - while lines[0] == '': - lines.pop(0) - - leading_ws = min([len(l) - len(l.lstrip(' ')) for l in lines if l != '']) - - return '\n'.join([l[leading_ws:] for l in lines]) - def main(args = None): if args is None: args = sys.argv |