Commit de8e844c47d34bab34f110be9883a82759a8a25f

Tom Tromey 1995-11-12T19:24:20

Use maintainer-clean, per GNU standards