This is genhtml — a tool that builds HTML website files from 
templates and named inserts.  For static content, it provides
a simple HTML macro utility with automatic dependency tracking,
that updates files whenever their common content is changed.  

For more details:

    http://learning-python.com/genhtml.html