include path ending in package name

2013-06-07 16:17:27 +02:00
parent 23327f57c9
commit 01c1baeeb3
1 changed files with 2 additions and 1 deletions
@@ -120,7 +120,8 @@ if re.match("^[A-Za-z_][A-Za-z0-9_]*$", packagename):
    os.mkdir(packagepath)
    open(os.path.join(packagepath, 'dont_submit'), 'w').close()

-    os.makedirs(os.path.join(packagepath, 'include', 'CGAL'))
+    inclpath = os.path.join(packagepath, 'include', 'CGAL', packagename)
+    os.makedirs(inclpath)

    os.mkdir(os.path.join(packagepath, 'src'))