Update doc_list.html