I add `make clean` since make html doesn't update all files.