varia/manymanymany-varia-websites
14
1
Fork 0
forked from varia/varia.website
Code Issues 1 Pull Requests Releases Wiki Activity

Replace makefile with python

Browse Source
This commit is contained in:
Luke Murphy 2020-03-11 17:21:40 +01:00
parent 24e7a1f9f4
commit 88444f13c7
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC
2 changed files with 17 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Makefile
View File

@ -1,7 +0,0 @@
SITES ?= $$(find . -maxdepth 2 -name "Makefile" -not -path "./Makefile" | xargs -I {} dirname {})
default: publish
.PHONY: publish
publish:
for path in $(SITES) ; do echo "Building in $(basename $$path)..." && cd $$path && make publish; done

17
publish Executable file
View File

@ -0,0 +1,17 @@
#!/usr/bin/env python3
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)]
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("-------------------------------------------------------------------")