diff -r 6104ae9ceb55 -r 30226d5a7ffb install.py
--- a/install.py Tue Sep 27 19:03:52 2011 +0200
+++ b/install.py Fri Sep 30 19:08:38 2011 +0200
@@ -340,6 +340,8 @@
apiname = os.path.join(apidir, progLanguage, name)
if os.path.exists(apiname):
os.remove(apiname)
+ for apiName in glob.glob(os.path.join(apidir, progLanguage, "*.bas")):
+ os.remove(apiname)
except AttributeError:
pass
@@ -474,6 +476,11 @@
shutil.copy(apiName, apidir)
except EnvironmentError:
print("Could not install '{0}'.".format(apiName))
+ for apiName in glob.glob(os.path.join(sourceDir, "APIs", progLanguage, "*.bas")):
+ try:
+ shutil.copy(apiName, apidir)
+ except EnvironmentError:
+ print("Could not install '{0}'.".format(apiName))
if progLanguage == "Python":
# copy Python3 API files to the same destination
for apiName in glob.glob(os.path.join(sourceDir, "APIs", "Python3", "*.api")):
@@ -481,6 +488,11 @@
shutil.copy(apiName, apidir)
except EnvironmentError:
print("Could not install '{0}'.".format(apiName))
+ for apiName in glob.glob(os.path.join(sourceDir, "APIs", "Python3", "*.bas")):
+ try:
+ shutil.copy(apiName, apidir)
+ except EnvironmentError:
+ print("Could not install '{0}'.".format(apiName))
# create menu entry for Linux systems
if sys.platform.startswith("linux"):
