diff --git a/publish b/publish index d24bd7f..e7f8153 100755 --- a/publish +++ b/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)