run configure to process configure.in change, update relevant patch
[debian/as31] / debian / docs
1 AUTHORS
2 NEWS
3 README