Even though this is not what autoconf recommends, it reduces doc rebuilds when version doesn't change but configure changes.