'make install-dev'

[Daniel Arbelo]

On Fri, Oct 23, 2009 at 1:11 AM, Geoffrey Broadwell <geoff at broadwell.org> wrote:
> If you want to be especially friendly to the packagers, we can do:
>
>    install: install-bin install-dev
>
> ... and then make sure install-bin and install-dev install disjoint file
> sets.

The disjointedness is already accomplished by the by the separate
install_files.pl and install_dev_files.pl scripts. All we need is to
do is rename the actual targets, and add a dep. The change is pretty
trivial. I've tested on my box with the following modification and
everything works as expected.

Index: config/gen/makefiles/root.in
===================================================================
--- config/gen/makefiles/root.in        (revision 42041)
+++ config/gen/makefiles/root.in        (working copy)
@@ -2149,7 +2149,9 @@
 #
 ###############################################################################

-install: installable
+install: install-bin install-dev
+
+install-bin: installable
        $(PERL) tools/dev/install_files.pl \
     --buildprefix=$(BUILDPREFIX) \
     --prefix=$(PREFIX) \
@@ -2162,7 +2164,7 @@
     --versiondir=$(VERSION_DIR) \
     MANIFEST MANIFEST.generated

-install-dev: install
+install-dev: installable
        $(PERL) tools/dev/install_dev_files.pl \
     --buildprefix=$(BUILDPREFIX) \
     --prefix=$(PREFIX) \