On 8/25/14 1:32 PM, Heikki Linnakangas wrote:> The new EXTRA_INSTALL makefile variable ought to be documented in> extend.sgml, where we list REGRESS_OPTS and others.
But EXTRA_INSTALL is only of use inside the main source tree, not byextensions.