On 2026-05-12 09:09, Bjarni Ingi Gislason wrote:
In the doc directory are (gnulib.*):
Which doc directory is this? I don't see those files here: https://cgit.git.savannah.gnu.org/cgit/gnulib.git/tree/doc or here: https://web.cvs.savannah.gnu.org/viewvc/gnulib/gnulib/manual/If these are your own private files, 'make clean' should remove the files you're talking about.
