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