From 345b958871c48df56b8d1acf9516bb9780aa6701 Mon Sep 17 00:00:00 2001
From: Christopher Allan Webber <cwebber@dustycloud.org>
Date: Mon, 7 Oct 2013 14:45:50 -0500
Subject: [PATCH] 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!
---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index a79d6cbc..b9b91a0e 100644
--- 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 \
-- 
2.25.1