12 commits

Author	SHA1	Message	Date
Midgard	8631f7f7db	Rename to blog.rss ... Web server will set MIME type correctly if file ends with .rss	2020-06-16 15:19:03 +02:00
Midgard	ccabcf657f	Solve problems, and use redirection in makefile	2020-06-16 03:00:31 +02:00
Midgard	24a41ca958	Add RSS	2020-06-16 02:48:42 +02:00
Midgard	5b014b97da	Glob in makefile, not in page.py	2020-06-13 15:50:39 +02:00
Midgard	ebfd0c8a06	Rename all the things	2020-06-13 14:46:35 +02:00
Midgard	58d3d29bb9	Use $(@D) instead of $(dir $@)	2020-06-11 01:57:52 +02:00
Midgard	75e8be7ea4	Makefile: use venv for pygments, more robust dirs	2020-06-08 23:46:57 +02:00
Midgard	0d06090fcb	Unify do_index & do_blog, add syntax highlighting	2020-06-08 02:59:15 +02:00
Midgard	c59205afa3	Always use the Python in venv	2020-06-02 18:41:21 +02:00
Midgard	cd6e8751dd	Add blog posts	2020-06-02 15:42:25 +02:00
Midgard	62b1cabdd5	Make rule for assets	2020-06-02 02:55:24 +02:00
Midgard	437cdd9cf0	Add makefile	2020-06-02 02:49:13 +02:00