Commit e59fb55e09fb8aa846c820a802a03fed408d05a6

Tom Tromey 2016-02-22T15:51:27

remove and ignore texinfo.tex This file is provided by Automake