# File control/DocumentTable/DocumentTable.rb, line 238
  def doc_delete
    @document_list.delete_at(@doc_delete_call_index)
    @doc_opt_list.delete_at(@doc_delete_call_index)
    @src.write_document_list
    nil
  end