From 6b074946f73d309e13169082d30c1808578e5fb0 Mon Sep 17 00:00:00 2001 From: Luke Murphy Date: Wed, 11 Mar 2020 17:24:02 +0100 Subject: [PATCH] Format publisher --- publish | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/publish b/publish index 859e787..d24bd7f 100755 --- a/publish +++ b/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("-------------------------------------------------------------------")