stamp-hin (Was: 47-fyi-stamp-h.patch)

[Akim Demaille]

>>>>> "Akim" == Akim Demaille <address@hidden> writes:

Akim> Why do we have a stamp for config.hin too?  After all, why not
Akim> just touching config.hin, since config.h is updated only when
Akim> needed even if config.hin changed.  That seems like too much
Akim> hair to me, we want to avoid gratuitous recompilation for
Akim> updated config.h, this is OK, hairy but understandable.  But
Akim> then, it is on config.h only that we should focus, not
Akim> config.hin too.

Akim> In fact, I'm tempted to have autoheader stop not recreating
Akim> config.hin when asked to.

I would like to emphasize this point.  I really expect opinions.  I'm
all for the removal of the stamp-hin stuff.