Commit 28733ff61f8257fdc56e6aa57e8dd406aa50fb3b

Tom Tromey 1997-01-08T01:12:46

added no-texinfo.tex option