Merge branch 'master' into dev/jmandereau

[lilypond.git] / python / lilylib.py

diff --git a/python/lilylib.py b/python/lilylib.py
index cfa5e67d0a7b0de58428f76b3ea96efac1cecdc1..f9cbff2c60a84ee84a3ebeb772e6eacc720b9adc 100644 (file)
--- a/python/lilylib.py
+++ b/python/lilylib.py
@@ -11,7 +11,6 @@ import glob
 import os
 import re
 import shutil
-import string
 import sys
 import optparse
 
@@ -185,7 +184,7 @@ def strip_extension (f, ext):
 
 def search_exe_path (name):
     p = os.environ['PATH']
-    exe_paths = string.split (p, ':')
+    exe_paths = p.split (':')
     for e in exe_paths:
        full = os.path.join (e, name)
        if os.path.exists (full):