#!/bin/python3

# Fetch article list
# generate menu
# generate 1 page per category
# generate 1 page per article

for file in article*.html ; do
  sed  -e "/-- body -->/r $file" index.html > static.$file
done