recompiling HTML