mhm. I don't understand why a makefile or a redo file is out of the picture.

Yea if you change something in header or footer build speed matters but when the HTML file is done, it's done.