Re: [PATCHES] src/include/Makefile: remove-old-headers

2004-11-08 Thread Neil Conway
On Sun, 2004-11-07 at 11:33, Alvaro Herrera wrote: > Since the behavior previously known as install-all-headers is now the > default, there's no point in keeping that target. This patch removes it. Looks good -- applied. Note that I believe pre-7.1 would put these extra headers in a different pl

[PATCHES] src/include/Makefile: remove-old-headers

2004-11-06 Thread Alvaro Herrera
Hackers, There is a remove-old-headers target in src/include/Makefile that is supposed to clean old headers "unless the user did a install-all-headers". Moreover, that target is invoked by the install target. Since the behavior previously known as install-all-headers is now the default, there's n