Make the develop makefile target the default.

Why do ./configure && make && sudo make install if the second one make
installs, amirite? ;)

Generally I just think install should not be a default make target.

This commit sponsored by Ron Ursem.  Thank you!

diff --git a/Makefile.in b/Makefile.in
index a79d6cbcc3807ed6b3c0c8ffb7df321d5623dcd3..b9b91a0ebff7a677340daf01bb7fbfb5b08e576d 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -51,7 +51,7 @@ pkgpythondir = @pkgpythondir@
 pkgpyexecdir = @pkgpyexecdir@
 PYTHONPATH = $(pythondir)$(PATH_SEPARATOR)$(DESTDIR)$(pythondir)
 
-all: install
+all: develop
 
 .PHONY: all install develop uninstall distclean info install-html html \
 install-pdf pdf install-dvi dvi install-ps ps clean dist check \