[PATCH] More autoconf 2.5 documentation changes.