Commit 238dbad363191deca4d99f34b5bdc0d77bd1664b

Tom Tromey 1997-08-27T19:25:10

more texinfo files to remove