public/pyg.css: pygments_theme.txt
	pygmentize -S "$(shell cat pygments_theme.txt)" -f html -a .codehilite > ./public/pyg.css

.PHONY: all
all:
	python3 ./main.py