In the doc directory are (gnulib.*): -rw------- 1 bg bg 231410 mar 13 20:47 gnulib.texi -rw------- 1 bg bg 4642965 feb 9 2023 gnulib.html -rw------- 1 bg bg 296916 sep 24 2018 gnulib.aux -rw------- 1 bg bg 104690 sep 24 2018 gnulib.cp -rw------- 1 bg bg 3565044 sep 24 2018 gnulib.dvi -rw------- 1 bg bg 331896 sep 24 2018 gnulib.log -rw------- 1 bg bg 153467 sep 24 2018 gnulib.toc -rw------- 1 bg bg 77449 sep 24 2018 gnulib.cps -rw------- 1 bg bg 1972208 sep 24 2018 gnulib.info
So I suppose, that some files, like "gnulib.html" and "gnulib.info", are outdated.
