Commit a6655646d42c33ac9c8c14716c1b61617e04a8bf

Tom Tromey 1997-02-23T19:41:20

allow texinfo files w/o .info extension