Commit 0285d443ed54fec7cd86798934f7808e076df4c5

Tom Tromey 1996-01-26T08:33:02

Support for multiple .texi files