Commit 8da47dfc64666b391cd57365a50d8472cd7238d8

Tom Tromey 1996-02-12T06:27:59

Can put version in AUTOMAKE_OPTIONS. Bug fixes