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