No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC
1 changed files with
1 additions and
8 deletions
-
publish
|
|
|
@ -4,14 +4,7 @@ import os |
|
|
|
import os.path |
|
|
|
import subprocess |
|
|
|
|
|
|
|
paths = [p for p in os.listdir('.') if os.path.isdir(p) and 'Makefile' in os.listdir(p)] |
|
|
|
paths = [p for p in os.listdir(".") if os.path.isdir(p) and "Makefile" in os.listdir(p)] |
|
|
|
|
|
|
|
for path in paths: |
|
|
|
print("-------------------------------------------------------------------") |
|
|
|
print("-------------------------------------------------------------------") |
|
|
|
print("-------------------------------------------------------------------") |
|
|
|
print("Building in {0}".format(path)) |
|
|
|
subprocess.run("cd {} && make html".format(path), shell=True) |
|
|
|
print("-------------------------------------------------------------------") |
|
|
|
print("-------------------------------------------------------------------") |
|
|
|
print("-------------------------------------------------------------------") |
|
|
|
|
