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 no point in keeping that target. This patch removes it.
--
Alvaro Herrera (<alvherre[a]dcc.uchile.cl>)
"Los dioses no protegen a los insensatos. Éstos reciben protección de
otros insensatos mejor dotados" (Luis Wu, Mundo Anillo)