2023-11-15 01:17:47 +00:00
|
|
|
html: feed.py Makefile
|
2023-11-15 01:06:03 +00:00
|
|
|
mkdir html
|
|
|
|
|
cp feed.py Makefile html
|
|
|
|
|
cp *.md html
|
|
|
|
|
|
|
|
|
|
clean-html:
|
|
|
|
|
[[ -d html ]] && rm -r html
|
|
|
|
|
|
|
|
|
|
.PHONY: clean-html
|
|
|
|
|
|
2023-10-04 00:46:53 +01:00
|
|
|
feed:
|
|
|
|
|
python feed.py `pwd`
|
|
|
|
|
|
|
|
|
|
rss: feed
|
|
|
|
|
|
2023-11-15 01:06:03 +00:00
|
|
|
clean: clean-html
|
|
|
|
|
|
|
|
|
|
.PHONY: feed clean
|
