python: html を再度コンパイル