Commit 5696510a7bd30a90e9c31c0922c8e80e6388ec51

Tom Tromey 1998-02-12T00:31:42

checked in fix for aclocal --output bug