f8f510d5f1
Rename remove_citation to remove_citation_refs and make it apply to a citation_handle_list. Updated tool/Check.py to change check_source_references into check_citation_references svn: r18433