Re: "make distclean" doesn't remove Gnulib header(s)

[Eli Zaretskii]

> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Tue, 8 Jun 2021 19:42:07 +0100
> Cc: bug-texinfo@gnu.org
> 
> I tried running make distclean myself and the file was removed, so
> I don't know why it wasn't removed for you.
> 
> When I ran configure again I found that in gnulib/lib/Makefile, there
> was the line
> 
> am__append_8 = locale.h
> 
> 
> and also
> 
> BUILT_SOURCES = $(ALLOCA_H) $(ARGZ_H) $(ERRNO_H) fcntl.h $(FLOAT_H) \
>         $(GETOPT_H) $(GETOPT_CDEFS_H) inttypes.h $(am__append_5) \
>         $(LIMITS_H) $(am__append_8) $(STDARG_H) $(STDBOOL_H) \
>         $(STDDEF_H) $(STDINT_H) stdio.h stdlib.h string.h strings.h \
>         $(am__append_14) sys/types.h $(am__append_18) unistd.h \
>         $(LIBUNISTRING_UNITYPES_H) $(LIBUNISTRING_UNIWIDTH_H) wchar.h \
>         wctype.h
> 
> which I assume takes care of removing that file on make distclean.  Maybe
> you had stale Makefiles for some reason.

Most probably.

So I guess we can leave this alone.  Thanks for taking a look.  If
it's a real problem, it will re-surface at some point.