Update gendocsymbols.rb