Peter Eisentraut <peter_e@gmx.net> writes:
> Tom Lane writes:
>> Maybe I'm just a Luddite, but I've never understood what autoheader
>> buys us that's worth the trouble of conforming to its restrictions.
> We wouldn't have to edit the config.h file by hand whenever some editing
> of configure.in occurs. That's all, but I'm not aware of any real
> restrictions that that would impose.
Mph. Well, there is some advantage in separating the manually-settable
config options from the automatically set ones (don't have to worry
about whether to edit config.h.in or config.h), so your plan is probably
a good idea in any case.
regards, tom lane