From 394d771d158fcb98d329921500edc678f8b4be9f Mon Sep 17 00:00:00 2001
From: ygrek <ygrek@autistici.org>
Date: Mon, 22 Jun 2015 12:16:10 -0700
Subject: [PATCH] Makefile: reinstall

---
 Makefile.in | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 3f7aa8d..3f93a2f 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -2,7 +2,7 @@
 ###	@configure_input@
 ###
 
-.PHONY:		all targets examples install clean distclean depend release doc
+.PHONY:		all targets examples install clean distclean depend release doc build test reinstall
 
 .SUFFIXES:	.ml .mli .cmx .cmi .cmo .cmxa .cma .c @EXT_OBJ@
 
@@ -131,6 +131,10 @@ else
 		rmdir $(INSTALLDIR)
 endif
 
+reinstall:
+	$(MAKE) uninstall
+	$(MAKE) install
+
 NAME=@PACKAGE_NAME@-@PACKAGE_VERSION@
 
 release:
-- 
2.11.4.GIT