On Tue, May 12, 2026 at 09:25:18AM -0700, Paul Eggert wrote: > 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.
Thanks for the help. I must evidently have created these file myself ! They are in ~/git/gnulib/doc.
