Commit 3480a30b361a2b44e94ba26342dae751f64abaa3

Tom Tromey 1996-10-06T08:01:38

work around bug in install-info