* guile.texi: change MANUAL_EDITION to MANUAL-EDITION so we don't
[bpt/guile.git] / benchmark-guile.in
2002-07-20 Dirk Herrmann* benchmark-guile.in: Copied from check-guile.in and...