Fix doc html files