Bruce Momjian <pgman@candle.pha.pa.us> writes:
> Peter Eisentraut wrote:
> You should be making these changes in release.sgml, from where HISTORY
> will be generated.
>
> It is too hard to edit two files. Until we get near final it is just
> easier to do the one.
>>
>> Yes, "the one" is release.sgml, and the other is generated automatically.
>> No need to edit two files.
> Unless it gets auto-generated every time I make a commit to /HISTORY, I
> am not interested.
That argument seems about on a par with wanting to hand-edit the
configure script because we don't automatically run autoconf when you
check in configure.in. If you want an automatic update procedure,
surely it would be easy to cause that to happen.
regards, tom lane